@inbook{f8c46749857347b990741ba2d540470b,
title = "Extending paradigm with data",
abstract = "We discuss an extension of the coordination modeling language Paradigm. The extension is geared towards data-dependent interaction among components, where the coordination is influenced by possibly distributed data. The approach is illustrated by the well-known example of a bakery where tickets are issued to serve clients in order. Also, it is described how to encode Paradigm models with data in the process language of the mCRL2 toolset for further analysis of the coordination.",
author = "Groenewegen, {Luuk P.J.} and Verschuren, {Jan H.S.} and {de Vink}, {Erik P.}",
year = "2018",
month = jan,
day = "1",
doi = "10.1007/978-3-319-90089-6_15",
language = "English",
isbn = "978-3-319-90088-9",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer",
pages = "224--244",
editor = "{de Boer}, F. and M. Bonsangue and J. Rutten",
booktitle = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
address = "Germany",
}