Cylindric process algebras with conditionals give substitionless pcrl. Report SEN-R9912

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