Three Logics for Branching Bisimulation

Open Access
Authors
  • R. De Nicola
  • F.W. Vaandrager
Publication date 1995
Journal Journal of the Association for Computing Machinery
Volume | Issue number 42 | 2
Pages (from-to) 458-487
Organisations
  • Faculty of Science (FNWI) - Informatics Institute (IVI)
Document type Article
Published at https://doi.org/10.1145/201019.201032
Downloads
Permalink to this page
Back