Process Algebra with Guards. Combining Hoare Logic and Process Algebra

Open Access
Authors
Publication date 1994
Journal Formal Aspects of Computing
Volume | Issue number 6
Pages (from-to) 115-164
Organisations
  • Faculty of Science (FNWI) - Informatics Institute (IVI)
Document type Article
Downloads
Permalink to this page
Back