R. Milner. Communicating and Mobile Processes: the -Calculus. Cambridge University Press, 1999. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
Specification of Software Architecture Reconfiguration - Wermelinger (1999) (5 citations) (Correct)
....be found in [MG99] Dynamic reconfiguration also occurs in Mobile Computing. Due to change of locations, computational agents may appear and disappear within some system boundary, and the interaction patterns between them vary. Probably the most prominent formalism for mobility is the calculus [Mil99] a process algebra. A state based formalism is MOBILE UNITY [MR98, RMP97] which extends the parallel program design language UNITY [CM88] and its associated proof logic in order to provide useful programming abstractions to describe transient interactions among programs. The description of a ....
Robin Milner. Communicating and Mobile Processes: the -calculus. Cambridge University Press, 1999.
Prototyping Concurrent Systems in Cw - Nuno Rodrigues Lus (Correct)
No context found.
R. Milner. Communicating and Mobile Processes: the -Calculus. Cambridge University Press, 1999.
Clculo de Processos - Mtodos De Programao (Correct)
No context found.
A. J. R. G. Milner. Communicating and Mobile Processes: the -Calculus. Cambridge University Press, 1999.
Components, Connectors and Architectural Patterns - Barbosa (2003) (Correct)
No context found.
Milner, R.: Communicating and Mobile Processes: the #-Calculus. (1999)
Modelao de Processos - Mtodos De Programao (Correct)
No context found.
A. J. R. G. Milner. Communicating and Mobile Processes: the -Calculus. Cambridge University Press, 1999.
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