Iteration in process algebra

Authors
Publication date 2001
Host editors
  • R. Backhouse
  • D. Kozen
  • B. Moeller
Book title Applications of Kleene Algebra, Report 298
Series Report, 298
Publisher Dagstuhl Seminar no. 01081
Organisations
  • Faculty of Science (FNWI) - Informatics Institute (IVI)
Document type Chapter
Note Gebeurtenis: Dagstuhl Seminar No. 01081
Permalink to this page
Back