Joachim Parrow

Identifiers

Open LibraryOL4451705A

Books by Joachim Parrow

Total count: 3

Verifying a CSMA/CD protocol with CCS.

University of Edinburgh, Laboratory for Foundations of Computer Science1987-01-01
Automata, Languages and Programming30th International Colloquium, ICALP 2003, Eindhoven, the Netherlands, June 30 - July 4, 2003. Proceedings

Springer London, Limited2003-01-01
CONCUR '94 : Concurrency Theory5th International Conference, Uppsala, Sweden, August 22 - 25, 1994. Proceedings

Springer London, Limited2006-01-01