Gul Agha
Christian J. Callsen
1993
ActorSpaces: An Open Distributed Programming Paradigm
Marina C. Chen
Robert Halstead
Proceedings of the Fourth ACM SIGPLAN Symposium on Principles & Practice of Parallel Programming (PPOPP)
ACM
23–32
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
José E. Moreira
Geoffrey Fox
Vladimir Getov
Proc. Joint ACM-ISCOPE Conference on Java Grande
ACM
28–36
http://doi.acm.org/10.1145/583810.583814
Denis Caromel
Ludovic Henrio
2005
A theory of distributed objects - asynchrony, mobility, groups, components
Springer
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
Proceedings of The Fourth IEEE Conference on Mobile and Wireless Communications Networks
IEEE
140–144
http://dx.doi.org/10.1109/MWCN.2002.1045711
Dave Clarke
Einar Broch Johnsen
Olaf Owe
2010
Concurrent Objects à la Carte
Dennis Dams
Ulrich Hannemann
Martin Steffen
Concurrency, Compositionality, and Correctness
Lecture Notes in Computer Science
5930
Springer
185–206
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
http://dx.doi.org/10.1007/978-3-540-71999-1
Oracle Corporation
2010
Siebel Business Applications Documentation
http://www.oracle.com/technetwork/documentation/siebel-087898.html
Juan Carlos Cruz
Stéphane Ducasse
1999
A Group Based Approach for Coordinating Active Objects
Paolo Ciancarini
Alexander L. Wolf
Third International Conference on Coordination Languages and Models (COORDINATION'99)
Lecture Notes in Computer Science
1594
Springer
355–370
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
Dave Thomas
Proc. 20th European Conference on Object-Oriented Programming, (ECOOP'06)
Lecture Notes in Computer Science
4067
Springer
230–254
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
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
3165–3182
http://dx.doi.org/10.1016/j.comnet.2005.12.004
Peer Hasselmeyer
2005
On Service Discovery Process Types
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
144–156
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
396–450
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
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
142–164
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
48–
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
133–154
http://dx.doi.org/10.1016/j.entcs.2008.04.097
Doug Lea
1993
Objects in groups
http://gee.cs.oswego.edu/dl/groups/groups.html
J. M. Lucassen
D. K. Gifford
1988
Polymorphic effect systems
Proceedings of the 15th Symposium on Principles of Programming Languages (POPL'88)
ACM Press
47–57
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
885–923
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
17–139
http://dx.doi.org/10.1016/j.jlap.2004.05.001
Riccardo Pucella
2002
Towards a formalization for COM part I: the primitive calculus
Mamdouh Ibrahim
Satoshi Matsuoka
Proceedings of the 2002 ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages and Applications (OOPSLA'02)
ACM
331–342
http://dx.doi.org/10.1145/583854.582449
Jan Schäfer
Arnd Poetzsch-Heffter
2010
JCoBox: Generalizing Active Objects to Concurrent Components
Theo D'Hondt
European Conference on Object-Oriented Programming (ECOOP 2010)
Lecture Notes in Computer Science
6183
Springer
275–299
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
245–271
http://dx.doi.org/10.1017/S0956796800000393