The Syntax and Semantics of mCRL

Authors
Publication date 1994
Host editors
  • C. Verhoef
  • A. Ponse
  • S.F.M. Vlijmen
Book title Algebra of Communicating Processes, Utrecht 1994
Series Workshops in Computing
Pages (from-to) 26-62
Publisher Berlin: Springer Verlag
Organisations
  • Faculty of Science (FNWI) - Informatics Institute (IVI)
Document type Conference contribution
Permalink to this page
Back