A. Brogi and J. M. Jacquet, On the Expressiveness of Linda-like Concurrent Languages, Electronical Notes in Theoretical Computer Science, vol.16, issue.2, pp.61-82, 1998.

A. Brogi and J. M. Jacquet, On the Expressiveness of Coordination via Shared Dataspaces, Science of Computer Programming, vol.46, issue.1-2, pp.71-98, 2003.

F. Calzolai, R. De-nicola, M. Loreti, and F. Tiezzi, Transactions on Petri Nets and Other Models of Concurrency, Lecture Notes in Computer Science, vol.5100, pp.54-70, 2008.

N. Carriero and D. Gelernter, Linda in Context, Communications of the ACM, vol.32, issue.4, pp.444-458, 1989.

S. Cranen, J. Groote, J. Keiren, F. Stappers, E. De-vink et al., An Overview of the mCRL2 Toolset and Its Recent Advances, Proceedings of the 19th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, vol.7795, pp.199-213, 2013.

R. Cruz and J. Proença, ReoLive: Analysing Connectors in Your Browser, Proceedings of the STAF collocated workshops, vol.11176, pp.336-350, 2018.

D. Darquennes, J. M. Jacquet, and I. Linden, On Density in Coordiantion Languages, ESOCC 2013, Proceedings of Foclasa Workshop, vol.393, pp.189-203, 2013.

D. Darquennes, J. M. Jacquet, and I. Linden, On the Introduction of Density in Tuple-Space Coordination Languages, Science of Computer Programming, 2013.

D. Darquennes, J. M. Jacquet, and I. Linden, On Distributed Density in Tuple-based Coordination Languages, Proceedings 13th International Workshop on Foundations of Coordination Languages and Self-Adaptive Systems. EPTCS, vol.175, pp.36-53, 2015.

D. Darquennes, J. M. Jacquet, and I. Linden, On Multiplicities in Tuple-Based Coordination Languages: The Bach Family of Languages and Its Expressiveness Study, Proceedings of the 20th International Conference on Coordination Models and Languages, vol.10852, pp.81-109, 2018.
URL : https://hal.archives-ouvertes.fr/hal-01821492

M. Dukielska and J. Sroka, JavaSpaces NetBeans: a Linda Workbench for Distributed Programming Course, Proceedings of the 15th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, pp.23-27, 2010.

E. A. Emerson, Temporal and Modal Logic, Formal Models and Semantics (B), vol.B, pp.995-1072, 1990.

L. Erman, F. Hayes-roth, V. Lesser, and D. Reddy, The Hearsay-II Speech-Understanding System: Integrating Knowledge to Resolve Uncertainty, ACM Computing Surveys, vol.12, issue.2, p.213, 1980.

D. Gelernter and N. Carriero, Coordination Languages and Their Significance, Communications of the ACM, vol.35, issue.2, pp.97-107, 1992.

J. M. Jacquet, K. D. Bosschere, and A. Brogi, On Timed Coordination Languages, Proc. 4th International Conference on Coordination Languages and Models, vol.1906, pp.81-98, 2000.

J. M. Jacquet and I. Linden, Coordinating Context-aware Applications in Mobile Adhoc Networks, Proceedings of the first ERCIM workshop on eMobility, pp.107-118, 2007.

J. M. Jacquet and I. Linden, Fully Abstract Models and Refinements as Tools to Compare Agents in Timed Coordination Languages, Theoretical Computer Science, vol.410, issue.2-3, pp.221-253, 2009.

N. Kokash and F. Arbab, Formal Design and Verification of Long-Running Transactions with Extensible Coordination Tools, IEEE Transactions on Services Computing, vol.6, issue.2, pp.186-200, 2013.

D. Kozen, Results on the Propositional mu-Calculus, Theoretical Computer Science, vol.27, pp.333-354, 1983.

E. Kühn, S. Radschek, and N. Elaraby, Distributed Coordination Runtime Assertions for the Peer Model, Proceedings of the 20th International Conference on Coordination Models and Languages, vol.10852, pp.200-219, 2018.

I. Linden and J. M. Jacquet, On the Expressiveness of Absolute-Time Coordination Languages, Proc. 6th International Conference on Coordination Models and Languages, vol.2949, pp.232-247, 2004.

I. Linden and J. M. Jacquet, On the Expressiveness of Timed Coordination via Shared Dataspaces, Electronical Notes in Theoretical Computer Science, vol.180, issue.2, pp.71-89, 2007.

I. Linden, J. M. Jacquet, K. D. Bosschere, and A. Brogi, On the Expressiveness of Relative-Timed Coordination Models, Electronical Notes in Theoretical Computer Science, vol.97, pp.125-153, 2004.

M. Odersky, L. Spoon, and B. Venners, Programming in Scala, A comprehensive step-by-step guide, 2016.

A. Omicini, A. Ricci, G. Rimassa, and M. Viroli, Integrating Objective & Subjective Coordination in FIPA: A Roadmap to TuCSoN, Proceedings of the 4th AI*IA/TABOO Joint Workshop "From Objects to Agents": Intelligent Systems and Pervasive Computing, pp.85-91, 2003.

G. Papadopoulos and F. Arbab, Coordination Models and Languages, Technical Report SEN-R9834. Centrum voor Wiskunde en Informatica (CWI), 1998.

C. Reas and B. Fry, Processing: A Programming Handbook for Visual Designers, 2014.

M. Reynolds, A Traditional Tree-style Tableau for LTL, 2016.