An omega-complete Equational Specification of Interleaving (extended abstract)

Authors
Publication date 2000
Host editors
  • Ugo Montanari
  • Jose D.P. Rolim
  • Emo Welz
Book title Proceedings of the 27th Colloqium on Automata, Languages and Programming
Pages (from-to) 729-743
Publisher Geneva: ICALP
Organisations
  • Faculty of Science (FNWI) - Informatics Institute (IVI)
Document type Conference contribution
Language English
Permalink to this page
Back