Complete axiomatisations of weak-, delay- and eta-bisimulation for process algebras with alternative quantification over data. Report SEN-R9914

Authors
  • S.P. Luttik
Publication date 1999
Number of pages 10
Publisher Amsterdam: CWI
Organisations
  • Faculty of Science (FNWI) - Informatics Institute (IVI)
Document type Report
Permalink to this page
Back