Equivalence of recursive specifications in process algebra

Authors
Publication date 2001
Series Report, SEN-R0107
Publisher onbekend: CWI
Organisations
  • Faculty of Science (FNWI) - Informatics Institute (IVI)
Document type Report
Permalink to this page
Back