Translating a process algebra with symbolic data values to linear format

Authors
Publication date 1995
Host editors
  • U.H. Engberg
  • K.G. Larsen
  • A. Skou
Book title Proceedings of the Workshop on Tools and Algorithms for the Construction and Analysis of Systems (TACAS)
Pages (from-to) 119-130
Publisher BRICS Notes Series, University of Aarhus
Organisations
  • Faculty of Science (FNWI) - Informatics Institute (IVI)
Document type Chapter
Permalink to this page
Back