Programming by multiset transformation, Communications of the ACM, vol.36, issue.1, pp.98-111, 1993. ,
DOI : 10.1145/151233.151242
GAMMA AND THE CHEMICAL REACTION MODEL: TEN YEARS AFTER, Coordination Programming, pp.3-41, 1996. ,
DOI : 10.1142/9781848161023_0001
Comparing coordination models based on shared distributed replicated data, Proceedings of the 1999 ACM symposium on Applied computing , SAC '99, pp.156-165, 1999. ,
DOI : 10.1145/298151.298226
URL : http://www.cs.unibo.it/~zavattar/WWW/Publication/sac99.ps.gz
Multi-Prolog: Definition, Operational Semantics , and Implementation, Proceedings of the International Conference on Logic Programming, pp.299-314, 1993. ,
Quantitative information in the tuple space coordination model, Theoretical Computer Science, vol.346, issue.1, pp.28-57, 2005. ,
DOI : 10.1016/j.tcs.2005.08.004
URL : https://doi.org/10.1016/j.tcs.2005.08.004
Probabilistic and Prioritized Data Retrieval in the Linda Coordination Model ,
DOI : 10.1016/S0167-6423(02)00090-4
URL : http://www.cs.unibo.it/~bravetti/papers/coord04.ps
, Proceedings of the 6th International Conference on Coordination Models and Languages, pp.55-70, 2004.
Service oriented computing from a process algebraic perspective, The Journal of Logic and Algebraic Programming, vol.70, issue.1, pp.3-14, 2007. ,
DOI : 10.1016/j.jlap.2006.05.002
Modeling coordination via asynchronous communication, Proceedings of the Second International Conference on Coordination Languages and Models, pp.238-255, 1997. ,
DOI : 10.1007/3-540-63383-9_84
On the Expressiveness of Linda-like Concurrent Languages, Electronic Notes in Theoretical Computer Science, vol.16, issue.2, pp.61-82, 1998. ,
DOI : 10.1016/S1571-0661(04)00118-5
On the Expressiveness of Linda-like Concurrent Languages, Electronic Notes in Theoretical Computer Science, vol.16, issue.2, pp.61-82, 1998. ,
DOI : 10.1016/S1571-0661(04)00118-5
On the Expressiveness of Coordination Models, Proceedings of the Third International Conference on Coordination Languages and Models, pp.134-149, 1999. ,
DOI : 10.1007/3-540-48919-3_11
On the expressiveness of coordination via shared dataspaces, Science of Computer Programming, vol.46, issue.1-2, pp.71-98, 2003. ,
DOI : 10.1016/S0167-6423(02)00087-4
On the expressiveness of coordination via shared dataspaces, Science of Computer Programming, vol.46, issue.1-2, pp.71-98, 2003. ,
DOI : 10.1016/S0167-6423(02)00087-4
On Modeling Coordination via Asynchronous Communication and Enhanced Matching, Electronic Notes in Theoretical Computer Science, vol.68, issue.3, 2003. ,
DOI : 10.1016/S1571-0661(05)82568-X
On the Turing equivalence of Linda coordination primitives, Electronic Notes in Theoretical Computer Science, vol.7, pp.75-75, 1997. ,
DOI : 10.1016/S1571-0661(05)80467-0
A process algebraic view of Linda coordination primitives, Theoretical Computer Science, vol.192, issue.2, pp.167-199, 1998. ,
DOI : 10.1016/S0304-3975(97)00149-7
On Multiplicities in Coordination Languages, 2017. ,
URL : https://hal.archives-ouvertes.fr/hal-01821492
On Distributed Density in Tuple-based Coordination Languages, Proceedings 13th International Workshop on Foundations of Coordination Languages and Self- Adaptive Systems, pp.36-53, 2015. ,
DOI : 10.1016/S1571-0661(04)00125-2
Embedding as a Tool for Language Comparison, Information and Computation, vol.108, issue.1, pp.128-157, 1994. ,
DOI : 10.1006/inco.1994.1004
Generative communication in Linda, ACM Transactions on Programming Languages and Systems, vol.7, issue.1, pp.80-112, 1985. ,
DOI : 10.1145/2363.2433
Modeling and Analysis of Communicating Systems, 2014. ,
On Density in Coordination Languages, Proceedings of the European Conference on Service Oriented and Cloud Computing 2013, pp.189-203, 2013. ,
DOI : 10.1007/978-3-642-45364-9_16
Blackboard rules: From a declarative reading to its application for coordinating context-aware applications in mobile ad hoc networks, Science of Computer Programming, vol.115, issue.116, pp.115-11679, 2016. ,
DOI : 10.1016/j.scico.2015.08.003
On the introduction of density in tuple-space coordination languages, Science of Computer Programming, vol.115, issue.116, pp.115-116149, 2016. ,
DOI : 10.1016/j.scico.2015.10.011
Automatic Code Generation for the Orchestration of Web Services with Reo, Proceedings of the First European Conference on Service-Oriented and Cloud Computing, pp.1-16, 2012. ,
DOI : 10.1007/978-3-642-33427-6_1
On the Expressiveness of Absolute-Time Coordination Languages, Proc. 6th International Conference on Coordination Models and Languages, pp.232-247, 2004. ,
DOI : 10.1007/3-540-61052-9_58
On the Expressiveness of Timed Coordination via Shared Dataspaces, Electronic Notes in Theoretical Computer Science, vol.180, issue.2, pp.71-89, 2007. ,
DOI : 10.1016/j.entcs.2006.10.047
URL : https://doi.org/10.1016/j.entcs.2006.10.047
On the Expressiveness of Relative-Timed Coordination Models, Electronic Notes in Theoretical Computer Science, vol.97, pp.125-153, 2004. ,
DOI : 10.1016/j.entcs.2004.04.034
URL : https://doi.org/10.1016/j.entcs.2004.04.034
On the expressiveness of timed coordination models, Science of Computer Programming, vol.61, issue.2, pp.61152-187, 2006. ,
DOI : 10.1016/j.scico.2005.10.011
URL : https://doi.org/10.1016/j.scico.2005.10.011
Coordination of Complex Sociotechnical Systems -Self-organisation of Knowledge in MoK Artificial Intelligence: Foundations, Theory, and Algorithms, 2016. ,
Formal ReSpecT in the A&A Perspective, Electronic Notes in Theoretical Computer Science, vol.175, issue.2, pp.97-117, 2007. ,
DOI : 10.1016/j.entcs.2007.03.006
URL : https://doi.org/10.1016/j.entcs.2007.03.006
Embeddings Among Concurrent Programming Languages, Proceedings of Concur 1992, pp.486-503, 1992. ,
DOI : 10.1007/3-540-54152-7_57
Laura ??? a service-based coordination language, Science of Computer Programming, vol.31, issue.2-3, pp.359-381, 1998. ,
DOI : 10.1016/S0167-6423(97)00027-0
URL : https://doi.org/10.1016/s0167-6423(97)00027-0
Biochemical Tuple Spaces for Self-organising Coordination, Proceedings of 11th International Conference on Coordination Models and Languages, pp.143-162, 2009. ,
DOI : 10.1016/j.entcs.2008.12.111
On the incomparability of Gamma and Linda, Electronic Transactions on Numerical Analysis, 1998. ,
Towards a Hierarchy of Negative Test Operators for Generative Communication, Electronic Notes in Theoretical Computer Science, vol.16, issue.2, pp.154-170, 1998. ,
DOI : 10.1016/S1571-0661(04)00125-2
URL : https://doi.org/10.1016/s1571-0661(04)00125-2