D. Sangiorgi. A Theory of Bisimulation for the pi-Calculus. Acta Informatica, 33(1): 69-97, 1996. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
D-Fusion: a Distinctive Fusion Calculus - Boreale, Buscemi, Montanari (Correct)
No context found.
D. Sangiorgi. A Theory of Bisimulation for the pi-Calculus. Acta Informatica, 33(1): 69-97, 1996.
Explicit Fusions - Wischik, Gardner (2000) (7 citations) (Correct)
No context found.
D. Sangiorgi. A theory of bisimulation for the pi-calculus. Acta Informatica, 33(1):69--97, 1996. ftp://ftp-sop.inria.fr/meije/theorie-par/davides/sub.ps.gz
Strong Bisimulation for the Explicit Fusion Calculus - Wischik, Gardner (2004) (Correct)
No context found.
D. Sangiorgi. A theory of bisimulation for the pi-calculus. Acta Informatica, 33:69--97, 1996. ftp://ftp-sop.inria.fr/mimosa/personnel/davides/sub.ps.gz
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