Real time process algebra with infinitesimals

Authors
Publication date 1994
Host editors
  • C. Verhoef
  • A. Ponse
  • S.F.M. van Vlijmen
Book title Algebra of Communicating Processes, Utrecht 1994
Series Workshops in Computing
Pages (from-to) 148-187
Publisher Berlin: Springer Verlag
Organisations
  • Faculty of Science (FNWI) - Informatics Institute (IVI)
Document type Chapter
Permalink to this page
Back