Discrete time process algebra and the semantics of SDL

Authors
Publication date 2001
Host editors
  • J.A. Bergstra
  • A. Ponse
  • S.A. Smolka
Book title Handbook of Process Algebra
Pages (from-to) 1209-1268
Number of pages 60
Publisher Elsevier
Organisations
  • Faculty of Science (FNWI) - Informatics Institute (IVI)
Document type Chapter
Language English
Permalink to this page
Back