Publications

Deriving Syntax and Axioms for Quantitative Regular Behaviours

AuthID
P-00G-BMK

Author(s)

Bonchi, F

Bonsangue, MM

Rutten, JJMM

Silva, A

Editor(s)

Mario Bravetti; Gianluigi Zavattaro

Document Type

Proceedings Paper

Year published

2009

Published

in CONCUR 2009 - Concurrency Theory, 20th International Conference, CONCUR 2009, Bologna, Italy, September 1-4, 2009. Proceedings in Lecture Notes in Computer Science, ISSN: 0302-9743

Volume: 5710, Pages: 146-162

Indexing

Dblp^®/en/publications/view/536211

Crossref^®7

Google Scholar^®

Metadata
Sources

Publication Identifiers

DOI: 10.1007/978-3-642-04081-8_11

Dblp: conf/concur/BonchiBRS09

Source Identifiers

ISSN: 0302-9743

Export Publication Metadata

Marked List

Add to Marked List

Info

At this moment we don't have any links to full text documens.

Deriving Syntax and Axioms for Quantitative Regular Behaviours

Useful Links

Get Help

Federated Authentication (Click on the image)

Deriving Syntax and Axioms for Quantitative Regular Behaviours

Useful Links

Get Help