Towards a theory of refinement in timed coordination languages

Research output: Contribution in Book/Catalog/Report/Conference proceeding › Chapter (peer-reviewed) › peer-review

Original language	English
Title of host publication	Coordination Languages and Models
Subtitle of host publication	9th International Conference, Coordination 2007, Paphos, Cyprus, June 6-8 2007.
Editors	Amy Murphy, Jan Vitek
Publisher	Springer
Pages	113-131
ISBN (Electronic)	978-3-540-72793-4
DOIs	https://doi.org/10.1007/978-3-540-72794-1_7
Publication status	Published - 2007

Name	Lecture Notes in Computer Science
Publisher	Springer
Volume	4467

Access to Document

@inbook{741b5952149a4dda9a4ae992dd2819a2,

title = "Towards a theory of refinement in timed coordination languages",

author = "Jean-Marie Jacquet and Isabelle Linden",

year = "2007",

doi = "10.1007/978-3-540-72794-1_7",

language = "English",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "113--131",

editor = "Amy Murphy and Jan Vitek",

booktitle = "Coordination Languages and Models",

address = "United States",

}

Towards a theory of refinement in timed coordination languages. / Jacquet, Jean-Marie ; Linden, Isabelle.
Coordination Languages and Models: 9th International Conference, Coordination 2007, Paphos, Cyprus, June 6-8 2007.. ed. / Amy Murphy; Jan Vitek. Springer, 2007. p. 113-131 (Lecture Notes in Computer Science; Vol. 4467).

Research output: Contribution in Book/Catalog/Report/Conference proceeding › Chapter (peer-reviewed) › peer-review

TY - CHAP

T1 - Towards a theory of refinement in timed coordination languages

AU - Jacquet, Jean-Marie

AU - Linden, Isabelle

PY - 2007

Y1 - 2007

U2 - 10.1007/978-3-540-72794-1_7

DO - 10.1007/978-3-540-72794-1_7

M3 - Chapter (peer-reviewed)

T3 - Lecture Notes in Computer Science

SP - 113

EP - 131

BT - Coordination Languages and Models

A2 - Murphy, Amy

A2 - Vitek, Jan

PB - Springer

ER -