@inproceedings(agha93ppopp,
 author       = "Gul Agha and Christian~J. Callsen",
 year         = "1993",
 title        = "{ActorSpaces}: An Open Distributed Programming Paradigm",
 editor       = "Marina~C. Chen and Robert Halstead",
 booktitle    = "Proceedings of the Fourth ACM SIGPLAN Symposium on Principles {\&} Practice of Parallel Programming (PPOPP)",
 publisher    = "ACM",
 pages        = "23--32",
 url          = "http://dx.doi.org/10.1145/155332.155335",
)
@book(amtoft99book,
 author       = "Torben Amtoft and Hanne~Riis Nielson and Flemming Nielson",
 year         = "1999",
 title        = "Type and effect systems - behaviours for concurrency",
 publisher    = "Imperial College Press",
)
@inproceedings(DBLP:conf/java/BaduelBC02,
 author       = "Laurent Baduel and Fran\c {c}oise Baude and Denis Caromel",
 year         = "2002",
 title        = "Efficient, flexible, and typed group communications in Java",
 editor       = "Jos{\'e}~E. Moreira and Geoffrey Fox and Vladimir Getov",
 booktitle    = "Proc. Joint ACM-ISCOPE Conference on Java Grande",
 publisher    = "ACM",
 pages        = "28--36",
 url          = "http://doi.acm.org/10.1145/583810.583814",
)
@book(DBLP:books/daglib/0012826,
 author       = "Denis Caromel and Ludovic Henrio",
 year         = "2005",
 title        = "A theory of distributed objects - asynchrony, mobility, groups, components",
 publisher    = "Springer",
 url          = "http://dx.doi.org/10.1007/b138812",
)
@inproceedings(DBLP:conf/mwcn/ChakrabortyJYF02,
 author       = "Dipanjan Chakraborty and Anupam Joshi and Yelena Yesha and Timothy~W. Finin",
 year         = "2002",
 title        = "GSD: a novel group-based service discovery protocol for MANETS",
 booktitle    = "Proceedings of The Fourth IEEE Conference on Mobile and Wireless Communications Networks",
 publisher    = "IEEE",
 pages        = "140--144",
 url          = "http://dx.doi.org/10.1109/MWCN.2002.1045711",
)
@inproceedings(DBLP:conf/birthday/ClarkeJO10,
 author       = "Dave Clarke and Einar~Broch Johnsen and Olaf Owe",
 year         = "2010",
 title        = "Concurrent Objects {\`a} la Carte",
 editor       = "Dennis Dams and Ulrich Hannemann and Martin Steffen",
 booktitle    = "Concurrency, Compositionality, and Correctness",
 series       = "Lecture Notes in Computer Science",
 volume       = "5930",
 publisher    = "Springer",
 pages        = "185--206",
 url          = "http://dx.doi.org/10.1007/978-3-642-11512-7_12",
)
@proceedings(maude-book,
 editor       = "Manuel Clavel and Francisco Dur{\'a}n and Steven Eker and Patrick Lincoln and Narciso Mart\'{\i }-Oliet and Jos{\'e} Meseguer and Carolyn~L. Talcott",
 year         = "2007",
 title        = "All About Maude - A High-Performance Logical Framework, How to Specify, Program and Verify Systems in Rewriting Logic",
 series       = "Lecture Notes in Computer Science",
 volume       = "4350",
 publisher    = "Springer",
 url          = "http://dx.doi.org/10.1007/978-3-540-71999-1",
)
@misc(siebel,
 author       = "Oracle Corporation",
 year         = "2010",
 title        = "Siebel Business Applications Documentation",
 url          = "http://www.oracle.com/technetwork/documentation/siebel-087898.html",
)
@inproceedings(cruz99coord,
 author       = "Juan~Carlos Cruz and St{\'e}phane Ducasse",
 year         = "1999",
 title        = "A Group Based Approach for Coordinating Active Objects",
 editor       = "Paolo Ciancarini and Alexander~L. Wolf",
 booktitle    = "Third International Conference on Coordination Languages and Models ({COORDINATION}'99)",
 series       = "Lecture Notes in Computer Science",
 volume       = "1594",
 publisher    = "Springer",
 pages        = "355--370",
 url          = "http://dx.doi.org/10.1007/3-540-48919-3_25",
)
@inproceedings(DBLP:conf/ecoop/DedeckerCMDM06,
 author       = "Jessie Dedecker and Tom~Van Cutsem and Stijn Mostinckx and Theo D'Hondt and Wolfgang~De Meuter",
 year         = "2006",
 title        = "Ambient-Oriented Programming in AmbientTalk",
 editor       = "Dave Thomas",
 booktitle    = "Proc. 20th European Conference on Object-Oriented Programming, ({ECOOP}'06)",
 series       = "Lecture Notes in Computer Science",
 volume       = "4067",
 publisher    = "Springer",
 pages        = "230--254",
 url          = "http://dx.doi.org/10.1007/11785477_16",
)
@article(DBLP:journals/fac/FiadeiroLB11,
 author       = "Jos{\'e}~Luiz Fiadeiro and Ant{\'o}nia Lopes and Laura Bocchi",
 year         = "2011",
 title        = "An abstract model of service discovery and binding",
 journal      = "Formal Asp. Comput.",
 volume       = "23",
 number       = "4",
 pages        = "433--463",
)
@article(DBLP:journals/cn/GaoWYY06,
 author       = "Zhen guo Gao and Ling Wang and Mei Yang and Xiaozong Yang",
 year         = "2006",
 title        = "{CNPGSDP}: An efficient group-based service discovery protocol for {MANET}s",
 journal      = "Computer Networks",
 volume       = "50",
 number       = "16",
 pages        = "3165--3182",
 url          = "http://dx.doi.org/10.1016/j.comnet.2005.12.004",
)
@inproceedings(DBLP:conf/icsoc/Hasselmeyer05,
 author       = "Peer Hasselmeyer",
 year         = "2005",
 title        = "On Service Discovery Process Types",
 editor       = "Boualem Benatallah and Fabio Casati and Paolo Traverso",
 booktitle    = "Proceedings of the Third International Conference on Service-Oriented Computing ({ICSOC} 2005)",
 series       = "Lecture Notes in Computer Science",
 volume       = "3826",
 publisher    = "Springer",
 pages        = "144--156",
 url          = "http://dx.doi.org/10.1007/11596141_12",
)
@article(igarashi01,
 author       = "Atsushi Igarashi and Benjamin~C. Pierce and Philip Wadler",
 year         = "2001",
 title        = "Featherweight {J}ava: a minimal core calculus for {J}ava and {GJ}",
 journal      = "{ACM} Transactions on Programming Languages and Systems",
 volume       = "23",
 number       = "3",
 pages        = "396--450",
 url          = "http://dx.doi.org/10.1145/503502.503505",
)
@inproceedings(johnsen10fmco,
 author       = "Einar~Broch Johnsen and Reiner H{\"a}hnle and Jan Sch{\"a}fer and Rudolf Schlatte and Martin Steffen",
 year         = "2011",
 title        = "{ABS}: A Core Language for Abstract Behavioral Specification",
 editor       = "Bernhard Aichernig and Frank~S. de~Boer and Marcello~M. Bonsangue",
 booktitle    = "Proc. 9th International Symposium on Formal Methods for Components and Objects ({FMCO} 2010)",
 series       = "Lecture Notes in Computer Science",
 volume       = "6957",
 publisher    = "Springer",
 pages        = "142--164",
 url          = "http://dx.doi.org/10.1007/978-3-642-25271-6_8",
)
@article(DBLP:journals/dse/KaashoekTV93,
 author       = "M.~Frans Kaashoek and Andrew~S. Tanenbaum and Kees Verstoep",
 year         = "1993",
 title        = "Group communication in Amoeba and its applications",
 journal      = "Distributed Systems Engineering",
 volume       = "1",
 number       = "1",
 pages        = "48--",
 url          = "http://dx.doi.org/10.1088/0967-1846/1/1/006",
)
@article(DBLP:journals/entcs/LapadulaPT08,
 author       = "Alessandro Lapadula and Rosario Pugliese and Francesco Tiezzi",
 year         = "2008",
 title        = "Service Discovery and Negotiation With COWS",
 journal      = "Electronic Notes in Theoretical Computer Science",
 volume       = "200",
 number       = "3",
 pages        = "133--154",
 url          = "http://dx.doi.org/10.1016/j.entcs.2008.04.097",
)
@misc(lea93groups,
 author       = "Doug Lea",
 year         = "1993",
 title        = "Objects in groups",
 url          = "http://gee.cs.oswego.edu/dl/groups/groups.html",
)
@inproceedings(lucassen88popl,
 author       = "J.~M. Lucassen and D.~K. Gifford",
 year         = "1988",
 title        = "Polymorphic effect systems",
 booktitle    = "Proceedings of the 15th Symposium on Principles of Programming Languages ({POPL}'88)",
 publisher    = "{ACM} Press",
 pages        = "47--57",
 url          = "http://dx.doi.org/10.1145/73560.73564",
)
@article(DBLP:journals/spe/MelingMHB08,
 author       = "Hein Meling and Alberto Montresor and Bjarne~E. Helvik and {\"O}zalp Babaoglu",
 year         = "2008",
 title        = "Jgroup/ARM: a distributed object group platform with autonomous replication management",
 journal      = "Softw., Pract. Exper.",
 volume       = "38",
 number       = "9",
 pages        = "885--923",
 url          = "http://dx.doi.org/10.1002/spe.853",
)
@article(plotkin04jlap,
 author       = "Gordon~D. Plotkin",
 year         = "2004",
 title        = "A structural approach to operational semantics",
 journal      = "Journal of Logic and Algebraic Programming",
 volume       = "60-61",
 pages        = "17--139",
 url          = "http://dx.doi.org/10.1016/j.jlap.2004.05.001",
)
@inproceedings(pucella02oopsla,
 author       = "Riccardo Pucella",
 year         = "2002",
 title        = "Towards a formalization for COM part {I}: the primitive calculus",
 editor       = "Mamdouh Ibrahim and Satoshi Matsuoka",
 booktitle    = "Proceedings of the 2002 ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages and Applications ({OOPSLA}'02)",
 publisher    = "ACM",
 pages        = "331--342",
 url          = "http://dx.doi.org/10.1145/583854.582449",
)
@inproceedings(schaefer10ecoop,
 author       = "Jan Sch{\"a}fer and Arnd Poetzsch-Heffter",
 year         = "2010",
 title        = "{JCoBox}: Generalizing Active Objects to Concurrent Components",
 editor       = "Theo D'Hondt",
 booktitle    = "European Conference on Object-Oriented Programming (ECOOP 2010)",
 series       = "Lecture Notes in Computer Science",
 volume       = "6183",
 publisher    = "Springer",
 pages        = "275--299",
 url          = "http://dx.doi.org/10.1007/978-3-642-14107-2_13",
)
@article(talpin92effect,
 author       = "Jean-Pierre Talpin and Pierre Jouvelot",
 year         = "1992",
 title        = "Polymorphic Type, Region and Effect Inference.",
 journal      = "Journal of Functional Programming",
 volume       = "2",
 number       = "3",
 pages        = "245--271",
 url          = "http://dx.doi.org/10.1017/S0956796800000393",
)