-
3
-
-
0031530396
-
A Foundation for Actor Compu-tation
-
January
-
G. Agha, I. Mason, S. F. Smith, and C. Talcott. A Foundation for Actor Compu-tation. Journal of Functional Programming, 7(1):1-69, January 1997
-
(1997)
Journal of Functional Programming
, vol.7
, Issue.1
, pp. 1-69
-
-
Agha, G.1
Mason, I.2
Smith, S.F.3
Talcott, C.4
-
4
-
-
84991988800
-
Towards a Theory of Actor Computation
-
Springer Verlag
-
G. Agha, I.A. Mason, S. Smith, and C. Talcott. Towards a Theory of Actor Computation. In Proc. of CONCUR'92, volume 630 of Lecture Notes in Computer Science, pages 564-579. Springer Verlag, 1992
-
(1992)
Proc. Of CONCUR'92, Volume 630 Of Lecture Notes in Computer Science
, pp. 564-579
-
-
Agha, G.1
Mason, I.A.2
Smith, S.3
Talcott, C.4
-
5
-
-
0001254695
-
On Bisimulations for the Asynchronous π-Calculus
-
R. Amadio, I. Castellani, and D. Sangiorgi. On Bisimulations for the Asynchronous π-Calculus. Theoretical Computer Science, 195(2):291-324, 1998
-
(1998)
Theoretical Computer Science
, vol.195
, Issue.2
, pp. 291-324
-
-
Amadio, R.1
Castellani, I.2
Sangiorgi, D.3
-
6
-
-
84947934696
-
Formal Specification and Prototyping of CORBA Systems
-
Springer-Verlag, Berlin
-
R. Bastide, O. Sy, and P. Palanque. Formal Specification and Prototyping of CORBA Systems. In Proc. of ECOOP99, Lecture Notes in Computer Science. Springer-Verlag, Berlin, 1999. This volume
-
(1999)
Proc. Of ECOOP99, Lecture Notes in Computer Science
-
-
Bastide, R.1
Sy, O.2
Palanque, P.3
-
7
-
-
0003403203
-
-
Technical Report INRIA-92-1702, INRIA Sophia-Antipolis
-
G. Boudol. Asynchrony and the π−calculus. Technical Report INRIA-92-1702, INRIA Sophia-Antipolis., 1992
-
(1992)
Asynchrony and the π−calculus
-
-
Boudol, G.1
-
8
-
-
84947977037
-
-
Laboratoire d'Informatique Fondamentale de Lille and Object Oriented Concepts Inc. CORBA Scripting Language. Technical Report orbos/98-12-09, Object Man-agement Group
-
Laboratoire d'Informatique Fondamentale de Lille and Object Oriented Concepts Inc. CORBA Scripting Language. Technical Report orbos/98-12-09, Object Man-agement Group, 1998
-
(1998)
-
-
-
9
-
-
0032179657
-
Concurrency and knowledge-level communication in agent languages
-
M. Gaspari. Concurrency and knowledge-level communication in agent languages. Artificial Intelligence, 105(1-2):1-45, 1998
-
(1998)
Artificial Intelligence
, vol.105
, Issue.1-2
, pp. 1-45
-
-
Gaspari, M.1
-
10
-
-
0009885791
-
An actor algebra for specifying distributed systems: The hurried philosophers case study
-
In G. Agha and F. Decindio, editors, Springer-Verlag, Berlin, To appear
-
M. Gaspari and G. Zavattaro. An actor algebra for specifying distributed systems: the hurried philosophers case study. In G. Agha and F. Decindio, editors, Concurrent Object-Oriented Programming and Petri Nets, Lecture Notes in Computer Science. Springer-Verlag, Berlin, 1998. To appear
-
(1998)
Concurrent Object-Oriented Programming and Petri Nets, Lecture Notes in Computer Science
-
-
Gaspari, M.1
Zavattaro, G.2
-
12
-
-
84947977038
-
-
OMG Architecture Guide: The OMG Object Model. Technical report, Object Management Group
-
Object Management Group. OMG Architecture Guide: The OMG Object Model. Technical report, Object Management Group, 1992
-
(1992)
-
-
-
13
-
-
84947977039
-
-
Messaging Service RFP. Technical Report orbos/96-03-16, Object Management Group, Framingham, MA
-
Object Management Group. Messaging Service RFP. Technical Report orbos/96-03-16, Object Management Group, Framingham, MA, 1996
-
(1996)
-
-
-
14
-
-
84947977040
-
-
CORBA Messaging Joint Revised Submission. Tech-nical Report orbos/98-05-05, Object Management Group, Framingham, MA
-
Object Management Group. CORBA Messaging Joint Revised Submission. Tech-nical Report orbos/98-05-05, Object Management Group, Framingham, MA, 1998
-
(1998)
-
-
-
15
-
-
84947977041
-
-
CORBA Services. Technical Report formal/98-12-09, Object Management Group
-
Object Management Group. CORBA Services. Technical Report formal/98-12-09, Object Management Group, 1998
-
(1998)
-
-
-
16
-
-
84947977042
-
-
The Common Object Request Brocker: Architecture and Specification. Object Management Group
-
Object Management Group. The Common Object Request Brocker: Architecture and Specification. Object Management Group, 1998
-
(1998)
-
-
-
17
-
-
0017504498
-
Viewing control structures as patterns of passing messages
-
C. Hewitt. Viewing control structures as patterns of passing messages. Artificial Intelligence, 8(3):323-364, 1977
-
(1977)
Artificial Intelligence
, vol.8
, Issue.3
, pp. 323-364
-
-
Hewitt, C.1
-
24
-
-
0027353881
-
Elements of interaction
-
January
-
R. Milner. Elements of interaction. Communications of the ACM, 36(1):79-89, January 1993
-
(1993)
Communications of the ACM
, vol.36
, Issue.1
, pp. 79-89
-
-
Milner, R.1
-
26
-
-
0002782801
-
Computational Models for Open Distributed Systems
-
In H. Bowman and J. Derrick, editors, Canterbury, UK, Chapmann & Hall
-
E. Najm and JB. Stefani. Computational Models for Open Distributed Systems. In H. Bowman and J. Derrick, editors, Proc. 2nd IFIP Conf. on Formal Methods for Open Object-Based Distributed Systems (FMOODS), pages 157-176, Canterbury, UK, 1997. Chapmann & Hall
-
(1997)
Proc. 2Nd IFIP Conf. On Formal Methods for Open Object-Based Distributed Systems (FMOODS)
, pp. 157-176
-
-
Najm, E.1
Stefani, J.B.2
-
28
-
-
84958743526
-
Concurrent Objects in a Process Calculus
-
Sendai, Japan, nov 1994. Springer-Verlag, Berlin
-
B. C. Pierce and D. N. Turner. Concurrent Objects in a Process Calculus. In invited lecture at Theory and Practice of Parallel Programming (TPPP), volume 907 of Lecture Notes in Computer Science, pages 187-215, Sendai, Japan, nov 1994. Springer-Verlag, Berlin
-
Invited Lecture at Theory and Practice of Parallel Programming (TPPP), Volume 907 of Lecture Notes in Computer Science
, pp. 187-215
-
-
Pierce, B.C.1
Turner, D.N.2
-
29
-
-
0003931061
-
-
Technical Report DAIMI FN-19, Department of Computer Science, Aarhus University, Denmark
-
G. Plotkin. A structural approach to operational semantics. Technical Report DAIMI FN-19, Department of Computer Science, Aarhus University, Denmark, 1981
-
(1981)
A Structural Approach to Operational Semantics
-
-
Plotkin, G.1
-
30
-
-
0042511353
-
Interaction Semantics for Components of Distributed Systems
-
Chapmann & Hall
-
C. Talcott. Interaction Semantics for Components of Distributed Systems. In Proc. FMOODS'96, pages 154-169. Chapmann & Hall, 1996
-
(1996)
Proc. FMOODS'96
, pp. 154-169
-
-
Talcott, C.1
-
31
-
-
19144363959
-
An actor rewriting theory
-
J. Meseguer, editor, North Holland
-
C. L. Talcott. An actor rewriting theory. In J. Meseguer, editor, Proc. 1st Intl. Workshop on Rewriting Logic and its Applications, number 4 in Electronic Notes in Theoretical Computer Science, pages 360-383. North Holland, 1996
-
(1996)
Proc. 1St Intl. Workshop on Rewriting Logic and Its Applications, Number 4 in Electronic Notes in Theoretical Computer Science
, pp. 360-383
-
-
Talcott, C.L.1
-
32
-
-
0032186781
-
New Features for CORBA 3.0
-
October
-
S. Vinoski. New Features for CORBA 3.0. Communications of the ACM, 41(10), October 1998
-
(1998)
Communications of the ACM
, vol.41
, Issue.10
-
-
Vinoski, S.1
-
33
-
-
0001216410
-
Objects in the π−calculus
-
D. Walker. Objects in the π−calculus. Information and Computation, 116(2):253-271, 1995.
-
(1995)
Information and Computation
, vol.116
, Issue.2
, pp. 253-271
-
-
Walker, D.1
|