Sangiorgi, D. and D. Walker, "The #-Calculus: a Theory of Mobile Processes," Cambridge University Press, 2001. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
First 50 documents Next 50
Ensuring Termination by Typability - Deng, Sangiorgi Self-citation (Sangiorgi) (Correct)
No context found.
D. Sangiorgi and D. Walker. The #-calculus: a Theory of Mobile Processes. Cambridge University Press, 2001.
Towards an Algebraic Theory of Typed Mobile Processes - Deng, Sangiorgi (2004) Self-citation (Sangiorgi) (Correct)
No context found.
D. Sangiorgi and D. Walker. The #-calculus: a Theory of Mobile Processes. Cambridge University Press, 2001.
Ensuring Termination by Typability - Deng, Sangiorgi Self-citation (Sangiorgi) (Correct)
No context found.
D. Sangiorgi and D. Walker. The -calculus: a Theory of Mobile Processes. Cambridge University Press, 2001.
Towards an Algebraic Theory of Typed Mobile Processes - Deng, Sangiorgi Self-citation (Sangiorgi) (Correct)
No context found.
D. Sangiorgi and D. Walker. The #-calculus: a Theory of Mobile Processes. Cambridge University Press, 2001. 16
Relating State-Based and Process-Based Concurrency through.. - Cervesato, Scedrov (2006) (Correct)
No context found.
Sangiorgi, D. and D. Walker, "The #-Calculus: a Theory of Mobile Processes," Cambridge University Press, 2001.
The Logical Meeting Point of Multiset Rewriting and Process.. - Cervesato (2004) (3 citations) (Correct)
No context found.
D. Sangiorgi and D. Walker. The #-Calculus: a Theory of Mobile Processes. Cambridge University Press, 2001.
A Calculus for Cryptographic Protocols - Lecture Notes Andrew (Correct)
No context found.
D. Sangiorgi and D. Walker. The p-calculus: a Theory of Mobile Processes. Cambridge University Press, 2001.
Secrecy and Group Creation - Luca Cardelli Giorgio (2000) (43 citations) (Correct)
No context found.
D. Sangiorgi and D. Walker. The #-calculus: A Theory of Mobile Processes. Cambridge University Press, 2001.
Type-Directed Concurrency - Deepak Garg And (Correct)
No context found.
D. Sangiorgi and D. Walker. The #-calculus: A Theory of Mobile Processes. Cambridge University Press, 2001. Chapters 15--17.
Software Engineering within a Digital Business Ecosystem - Marcon, Corallo, De.. (2006) (Correct)
No context found.
Sangiorgi, D., Walker, D.: The #-calculus: a Theory of Mobile Processes. Cambridge University Press (2001)
Electronic Notes in Theoretical Computer Science 85 No. 1 (2003) - Url Http Www (Correct)
No context found.
Davide Sangiorgi and David Walker. The #-calculus: a Theory of Mobile Processes. Cambridge University Press, 2001.
Bisimulation Congruences for Homer - a calculus of.. - Hildebrandt.. (2004) (Correct)
No context found.
Sangiorgi, D., Walker, D.: The #-calculus: a Theory of Mobile Processes. Cambridge University Press (2001)
Basic Research in Computer Science - New-Hopla Higher-Order Process (Correct)
No context found.
D. Sangiorgi and D. Walker. The #-calculus: a Theory of Mobile Processes. Cambridge University Press, 2001.
A Distributed Calculus for R ole-Based Access Control - Chiara Braghin Dip (2004) (2 citations) (Correct)
No context found.
D. Sangiorgi and D. Walker. The #-calculus: a Theory of Mobile Processes. Cambridge University Press, 2001.
On the Expressive Power of Klaim-based Calculi - De Nicola, Gorla, al. (2004) (Correct)
No context found.
D. Sangiorgi and D. Walker. The #-calculus: a Theory of Mobile Processes. Cambridge University Press, 2001.
Draft, last modified: June 12, 2003 - Towards Tree Of (Correct)
No context found.
Sangiorgi, D. and D. Walker, "The #-calculus: a Theory of Mobile Processes," Cambridge University Press, 2001.
Modelling Dynamic Web Data - Gardner, Maffeis (Correct)
No context found.
Sangiorgi, D. and D. Walker, "The #-calculus: a Theory of Mobile Processes," Cambridge University Press, 2001.
A Calculus of Higher-Order Distributed Components - Stefani (2003) (7 citations) (Correct)
No context found.
D. Sangiorgi and S. Walker. The #-calculus: A Theory of Mobile Processes. Cambridge University Press, 2001.
A Distributed Calculus for R ole-Based Access Control - Chiara Braghin Univ (2004) (2 citations) (Correct)
No context found.
D. Sangiorgi and D. Walker. The #-calculus: a Theory of Mobile Processes. Cambridge University Press, 2001.
Draft, last modified: February 6, 2004 - From Ambients To (Correct)
No context found.
Davide Sangiorgi and David Walker. The #-calculus: a Theory of Mobile Processes. Cambridge University Press, 2001. To appear.
Session Types for Functional Multithreading - Vasconcelos, Gay, Ravara (2004) (3 citations) (Correct)
No context found.
D. Sangiorgi and D. Walker. The #-calculus: a Theory of Mobile Processes. Cambridge University Press, 2001. 22
Session Types for Inter-Process Communication - Gay, Vasconcelos, Ravara (2003) (6 citations) (Correct)
No context found.
D. Sangiorgi and D. Walker. The #-calculus: a Theory of Mobile Processes. Cambridge University Press, 2001.
Lexically Scoped Distribution: What You See is What You.. - Ravara, Matos.. (2003) (Correct)
No context found.
Davide Sangiorgi and David Walker. The #-calculus: a Theory of Mobile Processes. Cambridge University Press, 2001.
The Origins of Structural Operational Semantics - Plotkin (2003) (1 citation) (Correct)
No context found.
Davide Sangiorgi and David Walker, The -calculus: a Theory of Mobile Processes, Cambridge: Cambridge University Press, 2001.
A π-Calculus Semantics of Java: The Full Definition - Jacobs, Piessens (Correct)
No context found.
D. Sangiorgi and D. Walker. The #-calculus: A Theory of Mobile Processes. Cambridge University Press, 2001.
First 50 documents Next 50
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