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