Deriving syntax and axioms for quantitative regular behaviours

F. Bonchi, M.M. Bonsangue, J.J.M.M. Rutten, A. Silva

Research output: Contribution to JournalArticleAcademicpeer-review

Original languageEnglish
Pages (from-to)146-162
JournalLecture Notes in Computer Science
Volume5710
DOIs
Publication statusPublished - 2009
EventCONCUR'09 -
Duration: 1 Jan 20091 Jan 2009

Bibliographical note

Proceedings title: Proceedings 20th Conference on Concurrency theory (CONCUR'09)
Publisher: Springer

Cite this