R. Milner, J. Parrow, and D. Walker. A calculus of mobile processes, parts I and II. Information and Computation, 100:1--77, 1992. Also available as Technical Report ECS-LFCS 89-85/86, University of Edinburgh. Home/Search Document Not in Database Summary Related Articles |
This paper is cited in the following contexts:
Behavioural Types for a Calculus of Concurrent Objects - Ant'onio Ravara Vasco (1997) (11 citations) (Correct)
....objects TyCO (TYped Concurrent Objects) VT93, Vas94] is an object oriented name passing calculus with asynchronous communication between concurrent objects via labelled messages carrying names. The calculus is developed along the trends of well known models of concurrency, such as the calculus [Mil91, MPW92], the calculus [HT91] and the actor model of computation [HBS73, Agh86] 2.1 Syntax Consider names u; v; x; y 2N , labels a,b,c 2L, and processes P; Q2P. Let v stand for a sequence of names, and x for a sequence of pairwise distinct names. Definition 2.1 The set P of processes is given by ....
R. Milner, J. Parrow, and D. Walker. A calculus of mobile processes, parts I and II. Information and Computation, 100:1--77, 1992. Also available as Technical Report ECS-LFCS 89-85/86, University of Edinburgh.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC