Discrete time process algebra with silent step

Authors
Publication date 2000
Host editors
  • G. Plotkin
  • C. Stirling
  • M. Tofte
Book title Proof, Language and Interaction: Essays in Honour of Robin Milner
Pages (from-to) 535-569
Number of pages 35
Publisher MIT Press
Organisations
  • Faculty of Science (FNWI) - Informatics Institute (IVI)
Document type Chapter
Permalink to this page
Back