Robin Milner and Davide Sangiorgi. Barbed bisimulation. In Proceedings of 19th ICALP. LNCS 623, pages 685-695, 1992. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
First 50 documents Next 50
On Bisimulations for the Asynchronous π-calculus? - Amadio, Castellani, Sangiorgi (1997) Self-citation (Sangiorgi) (Correct)
No context found.
R. Milner and D. Sangiorgi. Barbed bisimulation. In Proc. ICALP 92, Springer Lect. Notes in Comp. Sci. 623, 1992.
From Rewrite Rules to Bisimulation - Congruences Peter Sewell (Correct)
No context found.
Robin Milner and Davide Sangiorgi. Barbed bisimulation. In Proceedings of 19th ICALP. LNCS 623, pages 685-695, 1992.
Unknown - (Correct)
No context found.
Robin Milner and Davide Sangiorgi. Barbed bisimulation. In Proceedings of 19th ICALP. LNCS 623, pages 685--695, 1992.
Unknown - (Correct)
No context found.
Robin Milner and Davide Sangiorgi. Barbed bisimulation. In Proceedings of 19th ICALP. LNCS 623, pages 685--695, 1992.
A Calculus for Cryptographic Protocols - The Spi Calculus - Abadi, Gordon (1998) (353 citations) (Correct)
No context found.
R. Milner and D. Sangiorgi. Barbed bisimulation. In Proceedings of 19th International Colloquium on Automata, Languages and Programming (ICALP '92), volume 623 of Lecture Notes in Computer Science. Springer-Verlag, 1992.
Equational Properties of Mobile Ambients - Gordon, Cardelli (1999) (35 citations) (Correct)
No context found.
R. Milner and D. Sangiorgi. Barbed bisimulation. In Proceedings ICALP '92, volume 623 of Lecture Notes in Computer Science. Springer-Verlag, 1992.
Deriving Bisimulation Congruences using 2-categories - Sassone, Sobocinski (2003) (Correct)
No context found.
Milner, R. and Sangiorgi, D. 1992. Barbed Bisimulation. In 9th Colloquium on Automata, Languages and Programming, ICALP92, Volume 623 of Lecture Notes in Computer Science. Springer Verlag, 685--695.
XPi: a typed process calculus for XML messaging - Acciai, Boreale (2004) (1 citation) (Correct)
No context found.
D. Sangiorgi and R. Milner. Barbed bisimulation. Proc. of Concur'92, LNCS, Springer, 1992.
A Calculus of Bounded Capacities - Barbanera, Bugliesi.. (2003) (384 citations) (Correct)
No context found.
R. Milner and D. Sangiorgi. Barbed bisimulation. In W.Kuich, editor, ICALP'92, volume 623 of LNCS, pages 685--695, Berlin, 1992. Springer-Verlag.
Combinatory Representation of Mobile Processes - Kohei Honda Kohei (1994) (19 citations) (Correct)
No context found.
Milner, R. and Sangiorgi, D., Barbed Bisimulation. ICALP'92, LNCS 623, pp.685--695, Springer-Verlag, 1992.
A Calculus of Bounded Capacities - Barbanera, Bugliesi, al. (2003) (384 citations) (Correct)
No context found.
Milner, Robin, & Sangiorgi, Davide. (1992). Barbed bisimulation. Pages 685--695 of: Kuich, Werner (ed), ICALP'92. Lecture Notes in Computer Science, vol. 623. Springer-Verlag.
Linearity and Bisimulation - Yoshida, Honda, Berger (2002) (7 citations) (Correct)
No context found.
Milner, R. and Sangiorgi, D., Barbed Bisimulation, ICALP'92, LNCS 623, 685-695, Springer, 1992.
A Calculus of Bounded Capacities - Barbanera Bugliesi Dezani-Ciancaglini (2003) (384 citations) (Correct)
No context found.
R. Milner and D. Sangiorgi. Barbed bisimulation. In W.Kuich, editor, ICALP'92, volume 623 of LNCS, pages 685--695, Berlin, 1992. Springer-Verlag.
Replication in Concurrent Combinators - Honda, Yoshida (1994) (9 citations) (Correct)
No context found.
Milner, R. and Sangiorgi, D., Barbed Bisimulation. Proc. of ICALP'92, LNCS 623, pp.685--695, Springer-Verlag, 1992.
A Calculus of Bounded Capacities - Barbanera Bugliesi Dezani-Ciancaglini (2003) (384 citations) (Correct)
No context found.
R. Milner and D. Sangiorgi. Barbed bisimulation. In W.Kuich, editor, ICALP'92, volume 623 of LNCS, pages 685--695, Berlin, 1992. Springer-Verlag.
Deriving Bisimulation Congruences: A 2-categorical Approach - Sassone, al. (2002) (2 citations) (Correct)
No context found.
R. Milner and D. Sangiorgi. Barbed bisimulation. In 9th Colloquium on Automata, Languages and Programming, ICALP92, volume 623 of Lecture Notes in Computer Science, pages 685-695. Springer Verlag, 1992.
D-Fusion: a Distinctive Fusion Calculus - Boreale, Buscemi, Montanari (Correct)
No context found.
R. Milner and D. Sangiorgi. Barbed Bisimulation. In Proc. of ICALP '92, LNCS 623, SpringerVerlag, 1992.
Process Algebraic Analysis of Cryptographic Protocols - Boreale, De Nicola, Pugliese (2000) (1 citation) (Correct)
No context found.
R. Milner, D. Sangiorgi. Barbed Bisimulation. ICALP'92, Proceedings (W. Kuich, Ed.), LNCS 623, pp.685-695, Springer-Verlag, 1992.
Proof Techniques for Cryptographic Processes - Boreale, De Nicola, Pugliese (1999) (33 citations) (Correct)
No context found.
R. Milner, D. Sangiorgi. Barbed Bisimulation. ICALP'92, Proceedings (W. Kuich, Ed.), LNCS 623, pp.685-695, Springer-Verlag, 1992.
A Calculus for Cryptographic Protocols - The Spi Calculus - Abadi, Gordon (1996) (353 citations) (Correct)
No context found.
R. Milner and D. Sangiorgi. Barbed bisimulation. In Proceedings of 19th International Colloquium on Automata, Languages and Programming (ICALP '92), volume 623 of Lecture Notes in Computer Science. Springer Verlag, 1992.
Linear Forwarders - Gardner, Laneve, Wischik (2003) (Correct)
No context found.
R. Milner and D. Sangiorgi. Barbed bisimulation. In ICALP 1992, LNCS 623:685--695.
A Calculus of Bounded Capacities - Barbanera Bugliesi Dezani-Ciancaglini (2003) (384 citations) (Correct)
No context found.
R. Milner and D. Sangiorgi. Barbed bisimulation. In W.Kuich, editor, ICALP'92, volume 623 of LNCS, pages 685--695, Berlin, 1992. Springer-Verlag.
MIKADO Global Computing Project IST-2001-32222 - Mobile Calculi Based (Correct)
No context found.
R. Milner and D. Sangiorgi. Barbed Bisimulation. Proceedings of ICALP'92, LNCS, pagg. 685--695. Springer, 1992.
What is a `Good' Encoding of Guarded Choice? - Nestmann (1997) (Correct)
No context found.
R. Milner and D. Sangiorgi. Barbed Bisimulation. In Proceedings of ICALP '92, volume 623 of LNCS, pages 685--695. Springer, 1992.
Synthesising Labelled Transitions and Operational Congruences in.. - Leifer (2002) (7 citations) (Correct)
No context found.
R. Milner and D. Sangiorgi. Barbed bisimulation. In Automata, Languages and Programming, 19th International Colloquium, ICALP '92, Vienna, Austria, July 13--17, 1992, Proceedings, volume 623 of Lecture Notes in Computer Science. Springer-Verlag, 1992.
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