On the Expressiveness of Linda-like Concurrent Languages, Electronical Notes in Theoretical Computer Science, vol.16, issue.2, pp.61-82, 1998. ,
On the Expressiveness of Coordination via Shared Dataspaces, Science of Computer Programming, vol.46, issue.1-2, pp.71-98, 2003. ,
Transactions on Petri Nets and Other Models of Concurrency, Lecture Notes in Computer Science, vol.5100, pp.54-70, 2008. ,
Linda in Context, Communications of the ACM, vol.32, issue.4, pp.444-458, 1989. ,
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. ,
ReoLive: Analysing Connectors in Your Browser, Proceedings of the STAF collocated workshops, vol.11176, pp.336-350, 2018. ,
On Density in Coordiantion Languages, ESOCC 2013, Proceedings of Foclasa Workshop, vol.393, pp.189-203, 2013. ,
On the Introduction of Density in Tuple-Space Coordination Languages, Science of Computer Programming, 2013. ,
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. ,
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
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. ,
Temporal and Modal Logic, Formal Models and Semantics (B), vol.B, pp.995-1072, 1990. ,
The Hearsay-II Speech-Understanding System: Integrating Knowledge to Resolve Uncertainty, ACM Computing Surveys, vol.12, issue.2, p.213, 1980. ,
Coordination Languages and Their Significance, Communications of the ACM, vol.35, issue.2, pp.97-107, 1992. ,
On Timed Coordination Languages, Proc. 4th International Conference on Coordination Languages and Models, vol.1906, pp.81-98, 2000. ,
Coordinating Context-aware Applications in Mobile Adhoc Networks, Proceedings of the first ERCIM workshop on eMobility, pp.107-118, 2007. ,
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. ,
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. ,
Results on the Propositional mu-Calculus, Theoretical Computer Science, vol.27, pp.333-354, 1983. ,
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. ,
On the Expressiveness of Absolute-Time Coordination Languages, Proc. 6th International Conference on Coordination Models and Languages, vol.2949, pp.232-247, 2004. ,
On the Expressiveness of Timed Coordination via Shared Dataspaces, Electronical Notes in Theoretical Computer Science, vol.180, issue.2, pp.71-89, 2007. ,
On the Expressiveness of Relative-Timed Coordination Models, Electronical Notes in Theoretical Computer Science, vol.97, pp.125-153, 2004. ,
Programming in Scala, A comprehensive step-by-step guide, 2016. ,
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. ,
Coordination Models and Languages, Technical Report SEN-R9834. Centrum voor Wiskunde en Informatica (CWI), 1998. ,
Processing: A Programming Handbook for Visual Designers, 2014. ,
A Traditional Tree-style Tableau for LTL, 2016. ,