@article(BCM88, year = "1988", title = "{A Parallel Machine for Multiset Transformation and its Programming Style}", journal = "Future Generation Computer Systems", volume = "4", number = "2", pages = "133 -- 144", doi = "10.1016/0167\-739X(88)90012\-X", ) @inproceedings(BG90, author = "G.~Berry and G.~Boudol", year = "1990", title = "{The Chemical Abstract Machine}", booktitle = "Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages", series = "POPL '90", publisher = "ACM", address = "New York, NY, USA", pages = "81--94", doi = "10.1145/96709.96717", ) @inproceedings(BJ96, author = "K.~De Bosschere and J.-M. Jacquet", year = "1996", title = "{$\mu ^2Log$: Towards Remote Coordination}", booktitle = "Coordination languages and models", publisher = "Springer-Verlag", pages = "142--159", doi = "10.1007/3-540-61052-9\_44", ) @inproceedings(CLZ99, author = "G.~Cabri and L.~Leonardi and F.~Zambonelli", year = "1999", title = "{Reactive Tuple Spaces for Mobile Agent Coordination}", booktitle = "Proceedings of the Second International Workshop on Mobile Agents", publisher = "Springer-Verlag", address = "London, UK", pages = "237--248", doi = "10.1007/BFb0057663", url = "http://dl.acm.org/citation.cfm?id=647628.732565", ) @inproceedings(DNO98, author = "E.~Denti and A.~Natali and A.~Omicini", year = "1998", title = "{On the Expressive Power of a Language for Programming Coordination Media}", booktitle = "Proceedings of the 1998 ACM symposium on Applied Computing", series = "SAC '98", publisher = "ACM", address = "New York, NY, USA", pages = "169--177", doi = "10.1145/330560.330665", ) @inproceedings(DO99, author = "E.~Denti and A.~Omicini", year = "1999", title = "{Designing Multi-agent Systems around an Extensible Communication Abstraction}", booktitle = "Selected papers from the ESPRIT Project ModelAge Final Workshop on Formal Models of Agents", publisher = "Springer-Verlag", address = "London, UK", pages = "90--102", doi = "10.1007/3-540-46581-2\_7", url = "http://dl.acm.org/citation.cfm?id=646599.698418", ) @article(GC92, author = "D.~Gelernter and N.~Carriero", year = "1992", title = "{Coordination Languages and their Significance}", journal = "Commun. ACM", volume = "35", pages = "97--107", doi = "10.1145/129630.129635", ) @article(JB01, author = "J.-M. Jacquet and K.~De Bosschere", year = "2001", title = "{Blackboard Relations in the $\mu Log$ Coordination Language}", journal = "New Generation Computing", number = "19", pages = "23--56", doi = "10.1007/BF03037533", ) @inproceedings(JL07a, author = "J.-M. Jacquet and I.~Linden", year = "2007", title = "{Coordinating Context-aware Applications in Mobile Ad Hoc Networks}", booktitle = "Proceedings of the first ERCIM workshop on eMobility", ) @(LHM12, author = "D.~Lieb and A.~Huibers and J.~Mintz", year = "2012", title = "{BUMP}", url = "http://bu.mp", ) @phdthesis(L07, author = "I.~Linden", year = "2007", title = "{On the Introduction of Time in Coordination Languages: Semantics, Expressiveness and Programming Methodologies}", school = "FUNDP - Faculte d'Informatique", ) @inproceedings(MOV02, author = "R.~Menezes and A.~Omicini and M.~Viroli", year = "2002", title = "{Have {\sf ReSpecT} for {\sc LogOp}}", editor = "Flavio De~Paoli and Sara Manzoni and Agostino Poggi", booktitle = "AI*IA/TABOO Joint Workshop ``Dagli oggetti agli agenti: dall'informazione alla conoscenza'' (WOA 2002)", publisher = "Pitagora Editrice Bologna", address = "Milano, Italy", ) @article(MOV04, author = "R.~Menezes and A.~Omicini and M.~Viroli", year = "2004", title = "{On the Semantics of Coordination Models for Distributed Systems: The {{\sc LogOp}} Case Study}", journal = "Electronic Notes in Theoretical Computer Science", volume = "97", pages = "97--124", doi = "10.1016/j.entcs.2004.04.033", url = "http://www.sciencedirect.com/science/article/pii/S157106610405042X", ) @inproceedings(MPR01, author = "A.~L. Murphy and G.~P. Picco and G.-C. Roman", year = "2001", title = "{LIME: A Middleware for Physical and Logical Mobility}", booktitle = "{International Conference on Distributed Computing Systems}", pages = "524--533", doi = "10.1109/ICDSC.2001.918983", url = "http://dl.acm.org/citation.cfm?id=876878.879249", ) @article(MPR06, author = "A.~L. Murphy and G.~P. Picco and G.-C. Roman", year = "2006", title = "{LIME: A Coordination Model and Middleware Supporting Mobility of Hosts and Agents}", journal = "ACM Trans. Softw. Eng. Methodol.", volume = "15", number = "3", pages = "279--328", doi = "10.1145/1151695.1151698", ) @article(NFP97, author = "R.~De Nicola and G.~Ferrari and R.~Pugliese", year = "1997", title = "{KLAIM: a Kernel Language for Agents Interaction and Mobility}", journal = "IEEE Transactions on Software Engineering", volume = "24", pages = "315--330", doi = "10.1109/32.685256", ) @article(O06, author = "A.~Omicini", year = "2007", title = "Formal {ReSpecT} in the {A\&A} Perspective", journal = "Electron. Notes Theor. Comput. Sci.", volume = "175", number = "2", pages = "97--117", doi = "10.1016/j.entcs.2007.03.006", ) @incollection(ORV06, author = "A.~Omicini and A.~Ricci and M.~Viroli", year = "2006", title = "{Coordination Artifacts as First-Class Abstractions for MAS Engineering: State of the Research}", booktitle = "Software Engineering for Multi-Agent Systems IV", series = "Lecture Notes in Computer Science", volume = "3914", publisher = "Springer Berlin / Heidelberg", pages = "71--90", doi = "10.1007/11738817\_5", ) @inproceedings(OZ99, author = "A.~Omicini and F.~Zambonelli", year = "1999", title = "{Tuple Centres for the Coordination of {I}nternet Agents}", booktitle = "1999 ACM Symposium on Applied Computing (SAC'99)", publisher = "ACM", address = "San Antonio, TX, USA", pages = "183--190", doi = "10.1145/298151.298231", ) @inproceedings(PMR99, author = "G.~P. Picco and A.~L. Murphy and G.-C. Roman", year = "1999", title = "{LIME: Linda Meets Mobility}", booktitle = "Proceedings of the 21st international conference on Software engineering", series = "ICSE '99", publisher = "ACM", address = "New York, NY, USA", pages = "368--377", doi = "10.1145/302405.302659", ) @inproceedings(S02, author = "I.~Satoh", year = "2002", title = "{Physical Mobility and Logical Mobility in Ubiquitous Computing Environments}", booktitle = "Proceedings of Conference on Mobile Agents (MA'02), LNCS", publisher = "Springer", pages = "186--202", doi = "10.1007/3-540-36112-X\_13", url = "http://dl.acm.org/citation.cfm?id=647631.732730", ) @inproceedings(SM02, author = "J.~Snyder and R.~Menezes", year = "2002", title = "{Using Logical Operators as an Extended Coordination Mechanism in Linda}", booktitle = "Proceedings of the 5th International Conference on Coordination Models and Languages", series = "COORDINATION '02", publisher = "Springer-Verlag", address = "London, UK, UK", pages = "317--331", doi = "10.1007/3-540-46000-4\_29", url = "http://dl.acm.org/citation.cfm?id=647017.713447", ) @book(SS94, author = "L.~Sterling and E.~Shapiro", year = "1994", title = "{The Art of Prolog (2nd ed.): Advanced Programming Techniques}", publisher = "MIT Press", address = "Cambridge, MA, USA", ) @book(T99, author = "S.~Thompson", year = "1999", title = "{Haskell: the Craft of Functional Programming}", publisher = "Addison Wesley", ) @incollection(VC09, author = "M.~Viroli and M.~Casadei", year = "2009", title = "{Biochemical Tuple Spaces for Self-Organising Coordination}", editor = "John Field and Vasco~T. Vasconcelos", booktitle = "{Coordination Languages and Models}", series = "LNCS", volume = "5521", publisher = "Springer", address = "Lisbon, Portugal", pages = "143--162", doi = "10.1007/978-3-642-02053-7\_8", ) @inproceedings(VC10, author = "M.~Viroli and M.~Casadei", year = "2010", title = "{Chemical-inspired Self-composition of Competing Services}", booktitle = "Proceedings of the 2010 ACM Symposium on Applied Computing", series = "SAC '10", publisher = "ACM", address = "New York, NY, USA", pages = "2029--2036", doi = "10.1145/1774088.1774514", ) @inproceedings(VPMS12, author = "M.~Viroli and D.~Pianini and S.~Montagna and G.~Stevenson", year = "2012", title = "{Pervasive Ecosystems: a Coordination Model Based on Semantic Chemistry}", booktitle = "Proceedings of the 27th Annual ACM Symposium on Applied Computing", series = "SAC '12", publisher = "ACM", address = "New York, NY, USA", pages = "295--302", doi = "10.1145/2245276.2245336", ) @inproceedings(ZME02, author = "S.~Zachariadis and C.~Mascolo and W.~Emmerich", year = "2002", title = "{Exploiting Logical Mobility in Mobile Computing Middleware}", booktitle = "{In Proceedings of the IEEE International Workshop on Mobile Teamwork Support, Collocated with ICDCS'02}", pages = "385--386", doi = "10.1109/ICDCSW.2002.1030799", )