Citations: The pi-calculus : a theory of mobile processes

22 citations found. Retrieving documents...

D. Sangiorgi, D. Walker. The Pi-Calculus: A theory of Mobile Processes. Cambridge Press, Cambridge-Press.Cambridge, 2004.

Home/Search Document Not in Database Summary Related Articles Check

This paper is cited in the following contexts:

Information Flow Security in Boxed Ambients - Crafa, Bugliesi, Castagna (2003) (4 citations) (Correct)

..... when and or are not relevant. 4.1 Typed Equivalence Next, we introduce a typed notion of process equivalence. The equivalence is typed as we compare only processes with the same types, and inserted in contexts that respect their typing. We formalize these notions below following [22]. A context is a process term with just one hole . We denote with the process resulting from replacing the hole with in . Note that variables and names that are free in may become bound in . Thus we do not identify contexts up to renaming of bound variables and ....

D. Sangiorgi and D. Walker. The pi-calculus: a Theory of Mobile Processes. Cambridge University Press, 2001.

Semantic Web Services as Agent Behaviors - Buhler, Vidal (2003) (2 citations) (Correct)

....workflows is a difficult problem that has not been extensively studied; however, some initial work has been done. The DAML S execution semantics presented in [5] were inspired by Milner s # calculus. The # calculus is useful for modeling systems of concurrent, communicating and mobile processes [11]. Milner s work has also been inspirational to the development of a composition language named Piccola. 3.2 Piccola The development of specialized programming languages for expressing the composition of components is a recurring idea. Early evidence is provided by the utility attributed to UNIX ....

Sangiorgi, D. and Walker, D. The pi-calculus : a theory of mobile processes. Cambridge University Press, Cambridge, England ; New York, 2001.

Toward the Synthesis of Web Services and Agent Behaviors - Buhler, Vidal (2002) (Correct)

....is a difficult problem that has not been extensively studied; however, some initial work has been done. The DAML S execution semantics presented in [10] were inspired by Milner s # calculus. The # calculus is useful for modeling systems of concurrent, communicating and mobile processes [35]. Fortunately, Milner s work has also been inspirational to the development of a composition language named Piccola. 4.2 Piccola The development of specialized programming languages for expressing the composition of components is a recurring idea. Early evidence is provided by the utility ....

Sangiorgi, D. and Walker, D. The pi-calculus : a theory of mobile processes. Cambridge University Press, Cambridge, England ; New York, 2001.

A Conversation-oriented language for B2B integration based.. - Gomez, Haller, al. (2005) (Correct)

No context found.

D. Sangiorgi, D. Walker. The Pi-Calculus: A theory of Mobile Processes. Cambridge Press, Cambridge-Press.Cambridge, 2004.

A Calculus of Mobile Resources - Jens Chr Godskesen (2002) (1 citation) (Correct)

No context found.

Davide Sangiorgi and David Walker. The pi-calculus: a Theory of Mobile Processes. Cambridge Universtity Press, 2001.

Communication and Mobility Control in Boxed Ambients - Bugliesi, Crafa, Merro.. (2003) (5 citations) (Correct)

No context found.

D. Sangiorgi and D. Walker. The pi-calculus: a Theory of Mobile Processes. Cambridge University Press, 2001.

A Logical Framework For Reasoning About Logical Specifications - Tiu (2004) (2 citations) (Correct)

No context found.

Davide Sangiorgi and David Walker. PI-Calculus: A Theory of Mobile Processes. Cambridge University Press, 2001.

Towards a Higher-Order Synchronous Data-Flow Language - Colaco, Girault, Hamon, Pouzet (2004) (Correct)

No context found.

D. Sangiorgi and D. Walker. Pi-Calculus: A Theory of Mobile Processes. Cambridge University Press, 2001.

Strong Bisimulation for the Explicit Fusion Calculus - Wischik, Gardner (2004) (Correct)