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
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
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
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
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. ,
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. ,
Generative communication in Linda, ACM Transactions on Programming Languages and Systems, vol.7, issue.1, pp.80-112, 1985. ,
DOI : 10.1145/2363.2433
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
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
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. ,
The polyadic pi-calculus: a tutorial Logic and Algebra of Specification, 1991. ,
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
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=10.1.1.476.5746