"A Linear Time Process Algebra."

Alan Jeffrey (1991)
a service of Schloss Dagstuhl - Leibniz Center for Informatics