Joachim Parrow
-
Minimality and separation results on asychronous mobile processes-representability theorems by concurrent combinators
Theoretical Computer Science
SOS formats and meta-theory: 20 years after
Expressiveness of Process Algebras
Electronic Notes in Theoretical Computer Science (ENTCS)