Towards a theory of refinement in timed coordination languages

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

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