Process algebra with propositional signals

Authors
Publication date 1995
Host editors
  • C. Verhoef
  • A. Ponse
  • S.F.M. van Vlijmen
Book title De proceedings: ACP'95
Pages (from-to) 213-228
Organisations
  • Faculty of Science (FNWI) - Informatics Institute (IVI)
Document type Chapter
Permalink to this page
Back