PostScript format via anonymous FTP from the area ftp.cs.unibo.it:/pub/TR/UBLCS or via WWW at URL http://www.cs.unibo.it/. Plain-text abstracts organized by year are available in the directory ABSTRACTS. All local authors can be reached via e-mail at the address last-name@cs.unibo.it. Questions and comments
|
2762
|
Communication and Concurrency
– Milner
- 1989
|
|
2677
|
Communicating Sequential Processes
– Hoare
- 1978
|
|
1064
|
A structural approach to operational semantics
– Plotkin
- 1981
|
|
1027
|
Distributed Algorithms
– Lynch
- 1996
|
|
886
|
A Calculus of Mobile Processes
– Milner, Parrow, et al.
- 1992
|
|
865
|
ACTORS, a model of concurrent computation in distributed systems
– Agha
- 1986
|
|
732
|
The contract net protocol: High level communication and control in a distributed problem solver
– Smith
- 1980
|
|
299
|
Control structure as patterns of passing messages
– Hewitt
- 1979
|
|
283
|
An Object Calculus for Asynchronous Communication
– Honda, Tokoro
- 1991
|
|
281
|
Functions as processes
– Milner
- 1992
|
|
271
|
CORBA: Integrating diverse applications within distributed heterogeneous environments
– Vinoski
- 1997
|
|
168
|
A foundation for actor computation
– Agha, Smith, et al.
- 1997
|
|
145
|
Calculi for interaction
– Milner
- 1996
|
|
136
|
Concurrent Object-Oriented Programming
– Agha
- 1990
|
|
107
|
Comparing the expressive power of the synchronous and the asynchronous pi-calculus
– Palamidessi
- 1997
|
|
83
|
On bisimulations for the asynchronous � -calculus
– Amadio, Castellani, et al.
- 1996
|
|
71
|
Typed Concurrent Objects
– Vasconcelos
- 1996
|
|
54
|
Pi-Calculus Semantics of Object-Oriented Programming Languages
– Walker
- 1990
|
|
53
|
Towards a Theory of Actor Computation
– Agha, Mason, et al.
- 1992
|
|
44
|
Java and the shift to net-centric computing
– Hamilton
- 1996
|
|
40
|
Interaction Semantics for Components of Distributed Systems
– Talcott
- 1996
|
|
37
|
The origins of structural operational semantics
– Plotkin
- 1981
|
|
31
|
An actor rewriting theory
– Talcott
- 1996
|
|
29
|
An imperative object calculus. Theory and Practice of Object Systems
– Abadi, Cardelli
- 1996
|
|
26
|
A calculus of mobile processes, i and ii
– Milner, Parrow, et al.
- 1992
|
|
17
|
Computational models for open distributed systems
– Najm, Stefani
- 1997
|
|
16
|
A semantically sound actor translation
– Mason, Talcott
- 1997
|
|
13
|
Netbased description of parallel object-based systems, or POTs and POPs
– Engelfriet, Leih, et al.
- 1990
|
|
12
|
the Web, and software development
– Java
- 1996
|
|
7
|
Concurrency and Knowledge-Level Communication in Agent Languages
– Gaspari
- 1998
|
|
7
|
An actor algebra for specifying distributed systems: the hurried philosophers case study
– Gaspari, Zavattaro
- 1998
|
|
2
|
Asynchrony and the ��\Gammacalculus
– Boudol
- 1992
|
|
2
|
Concurrent Objects in a Process Calculus. In invited lecture at Theory and Practice of Parallel Programming
– Pierce, Turner
- 1994
|
|
