Towards a theory of refinement in timed coordination languages

Research output: Contribution in Book/Catalog/Report/Conference proceedingChapter (peer-reviewed)

Original languageEnglish
Title of host publicationCoordination Languages and Models
Subtitle of host publication9th International Conference, Coordination 2007, Paphos, Cyprus, June 6-8 2007.
EditorsAmy Murphy, Jan Vitek
PublisherSpringer
Pages113
Number of pages131
ISBN (Electronic)978-3-540-72793-4
Publication statusPublished - 2007

Publication series

NameLecture Notes in Computer Science
PublisherSpringer
Volume4467

Cite this

Jacquet, J-M., & Linden, I. (2007). Towards a theory of refinement in timed coordination languages. In A. Murphy, & J. Vitek (Eds.), Coordination Languages and Models: 9th International Conference, Coordination 2007, Paphos, Cyprus, June 6-8 2007. (pp. 113). (Lecture Notes in Computer Science; Vol. 4467). Springer.
Jacquet, Jean-Marie ; Linden, Isabelle. / Towards a theory of refinement in timed coordination languages. Coordination Languages and Models: 9th International Conference, Coordination 2007, Paphos, Cyprus, June 6-8 2007.. editor / Amy Murphy ; Jan Vitek. Springer, 2007. pp. 113 (Lecture Notes in Computer Science).
@inbook{741b5952149a4dda9a4ae992dd2819a2,
title = "Towards a theory of refinement in timed coordination languages",
author = "Jean-Marie Jacquet and Isabelle Linden",
note = "Publication editors : Amy Murphy and Jan Vitek",
year = "2007",
language = "English",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
pages = "113",
editor = "Amy Murphy and Jan Vitek",
booktitle = "Coordination Languages and Models",

}

Jacquet, J-M & Linden, I 2007, Towards a theory of refinement in timed coordination languages. in A Murphy & J Vitek (eds), Coordination Languages and Models: 9th International Conference, Coordination 2007, Paphos, Cyprus, June 6-8 2007.. Lecture Notes in Computer Science, vol. 4467, Springer, pp. 113.

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 (Lecture Notes in Computer Science; Vol. 4467).

Research output: Contribution in Book/Catalog/Report/Conference proceedingChapter (peer-reviewed)

TY - CHAP

T1 - Towards a theory of refinement in timed coordination languages

AU - Jacquet, Jean-Marie

AU - Linden, Isabelle

N1 - Publication editors : Amy Murphy and Jan Vitek

PY - 2007

Y1 - 2007

M3 - Chapter (peer-reviewed)

T3 - Lecture Notes in Computer Science

SP - 113

BT - Coordination Languages and Models

A2 - Murphy, Amy

A2 - Vitek, Jan

PB - Springer

ER -

Jacquet J-M, Linden I. Towards a theory of refinement in timed coordination languages. In Murphy A, Vitek J, editors, Coordination Languages and Models: 9th International Conference, Coordination 2007, Paphos, Cyprus, June 6-8 2007.. Springer. 2007. p. 113. (Lecture Notes in Computer Science).