Proof Theory for mCRL: a Language for Processes with Data

Authors
Publication date 1994
Host editors
  • J.F. Groote
  • D.J. Andrews
  • C.A. Middelburg
Book title Proceedings of the International Workshop on Semantics of Specification Languages
Series Workshops in Computing
Pages (from-to) 232-251
Publisher Berlin: Springer-Verlag
Organisations
  • Faculty of Science (FNWI) - Informatics Institute (IVI)
Document type Conference contribution
Permalink to this page
Back