C. André, F. Mallet, and R. De-simone, Modeling Time(s), 10th Int. Conf. on Model Driven Engineering Languages and Systems (MoDELS), pp.559-573, 2007.
DOI : 10.1007/978-3-540-75209-7_38

F. Arbab, Reo: a channel-based coordination model for component composition, Mathematical Structures in Computer Science, vol.14, issue.3, pp.329-366, 2004.
DOI : 10.1017/S0960129504004153

D. Clarke and J. Proença, Partial Connector Colouring, 14th Int. Conf. on Coordination Models and Languages (COORDINATION), pp.59-73, 2012.
DOI : 10.1007/978-3-642-30829-1_5

URL : https://lirias.kuleuven.be/bitstream/123456789/354131/1/main.pdf

S. Craß, T. Dönz, G. Joskowicz, and . Kühn, A Coordination-Driven Authorization Framework for Space Containers, 2012 Seventh International Conference on Availability, Reliability and Security, pp.133-142, 2012.
DOI : 10.1109/ARES.2012.56

S. Craß, T. Dönz, G. Joskowicz, A. Kühn, and . Marek, Securing a space-based service architecture with coordination-driven access control, Journal of Wireless Mobile Networks, Ubiquitous Computing, and Dependable Applications (JoWUA), pp.76-97, 2013.

S. Craß, G. Kühn, and . Salzer, Algebraic foundation of a data model for an extensible space-based collaboration protocol, Int. Database Engineering and Applications Symposium (IDEAS), ACM, pp.301-306, 2009.

D. Gelernter, Generative communication in Linda, ACM Transactions on Programming Languages and Systems, vol.7, issue.1, pp.80-112, 1985.
DOI : 10.1145/2363.2433

G. Holzmann, E. Najm, and A. Serhrouchni, SPIN model checking: an introduction, International Journal on Software Tools for Technology Transfer (STTT), vol.2, issue.4, pp.321-327, 2000.
DOI : 10.1007/s100090050039

K. Jensen, L. Kristensen, and L. Wells, Coloured Petri Nets and CPN Tools for modelling and validation of concurrent systems, International Journal on Software Tools for Technology Transfer, vol.2, issue.2, pp.213-254, 2007.
DOI : 10.1007/s10009-007-0038-x

R. Kühn, L. Mordinyi, C. Keszthelyi, and . Schreiber, Introducing the concept of customizable structured spaces for agent coordination in the production automation domain, 8th Int'l Conf. on Autonomous Agents and Multiagent Systems (AAMAS), pp.625-632, 2009.

R. Milner, The polyadic pi-calculus: a tutorial Logic and Algebra of Specification, 1991.

R. Mordinyi, A. Kühn, and . Schatten, Towards an Architectural Framework for Agile Software Development, 2010 17th IEEE International Conference and Workshops on Engineering of Computer Based Systems, pp.276-280, 2010.
DOI : 10.1109/ECBS.2010.38

A. V. Ratzer, H. M. Lassen, M. Laursen, J. F. Qvortrup, M. S. Stissing et al., CPN Tools for Editing, Simulating, and Analysing Coloured Petri Nets, 24th Int. Conf. on Applications and Theory of Petri Nets (ICATPN), volume 2679 of LNCS, pp.450-462, 2003.
DOI : 10.1007/3-540-44919-1_28

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=