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

Bonchi, F. ; Bonsangue, M.M. ; Rutten, J.J.M.M. ; Silva, A. / Deriving syntax and axioms for quantitative regular behaviours. In: Lecture Notes in Computer Science. 2009 ; Vol. 5710. pp. 146-162.
@article{385a008fd9b3459aa6de89b02f6b090c,
title = "Deriving syntax and axioms for quantitative regular behaviours",
author = "F. Bonchi and M.M. Bonsangue and J.J.M.M. Rutten and A. Silva",
note = "Proceedings title: Proceedings 20th Conference on Concurrency theory (CONCUR'09) Publisher: Springer",
year = "2009",
doi = "10.1007/978-3-642-04081-8_11",
language = "English",
volume = "5710",
pages = "146--162",
journal = "Lecture Notes in Computer Science",
issn = "0302-9743",
publisher = "Springer Verlag",

}

Deriving syntax and axioms for quantitative regular behaviours. / Bonchi, F.; Bonsangue, M.M.; Rutten, J.J.M.M.; Silva, A.

In: Lecture Notes in Computer Science, Vol. 5710, 2009, p. 146-162.

Research output: Contribution to JournalArticleAcademicpeer-review

TY - JOUR

T1 - Deriving syntax and axioms for quantitative regular behaviours

AU - Bonchi, F.

AU - Bonsangue, M.M.

AU - Rutten, J.J.M.M.

AU - Silva, A.

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

PY - 2009

Y1 - 2009

U2 - 10.1007/978-3-642-04081-8_11

DO - 10.1007/978-3-642-04081-8_11

M3 - Article

VL - 5710

SP - 146

EP - 162

JO - Lecture Notes in Computer Science

JF - Lecture Notes in Computer Science

SN - 0302-9743

ER -