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.
On Asynchrony in Name-Passing Calculi - Merro, Sangiorgi (2002) (47 citations) Self-citation (Sangiorgi) (Correct)
No context found.
R. Milner and D. Sangiorgi. Barbed bisimulation. In Proc. ICALP'92, volume 623 of Lecture Notes in Computer Science. Springer Verlag, 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.
Bisimulations in the Join-Calculus - Fournet, Laneve (2001) (1 citation) (Correct)
No context found.
R. Milner and D. Sangiorgi. Barbed bisimulation. In W. Kuich, editor, Proceedings of ICALP'92, volume 623 of LNCS, pages 685-695. Springer-Verlag, 1992.
On Bisimulations for the Spi Calculus - Johannes Borgstrom Epfl (2002) (4 citations) (Correct)
No context found.
Robin Milner and Davide Sangiorgi. Barbed bisimulation. In W. Kuich, editor, Proceedings of ICALP '92, volume 623 of LNCS, pages 685--695. Springer, 1992.
The Join Calculus: A Language for Distributed Mobile Programming - Fournet, Gonthier (2000) (Correct)
No context found.
R. Milner and D. Sangiorgi. Barbed bisimulation. In W. Kuich, editor, Proceedings of ICALP'92, volume 623 of LNCS, pages 685-695. Springer-Verlag, 1992.
Bisimulation Proof Methods for Mobile Ambients - Merro, Nardelli (2003) (10 citations) (Correct)
No context found.
R. Milner and D. Sangiorgi. Barbed bisimulation. In Proc. 19th ICALP, volume 623 of LNCS, pages 685--695. Springer Verlag, 1992.
A Hierarchy of Equivalences for Asynchronous Calculi - Fournet, Gonthier (2003) (16 citations) (Correct)
No context found.
Robin Milner and Davide Sangiorgi. Barbed bisimulation. In W. Kuich, editor, Proceedings of ICALP'92, volume 623 of Lecture Notes in Computer Science, pages 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.
On Bisimulations for the Spi Calculus - Johannes Borgstrom And (2002) (4 citations) (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.
Decoding Choice Encodings - Nestmann, Pierce (1996) (52 citations) (Correct)
No context found.
Robin Milner and Davide Sangiorgi. Barbed bisimulation. In W. Kuich, editor, Nineteenth Colloquium on Automata, Languages and Programming (ICALP) (Wien, Austria), volume 623 of Lecture Notes in Computer Science, pages 685695. 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.
Name-Passing In An Ambient-Like Calculus and Its Proof Using.. - Guan (2004) (Correct)
No context found.
Robin Milner and Davide Sangiorgi. Barbed bisimulation. In W. Kuich, editor, Proceedings of ICALP '92, volume 623 of LNCS, pages 685--695. Springer, 1992.
Linearity and the Pi-Calculus - Naoki Kobayashi University (1996) (85 citations) (Correct)
No context found.
R. Milner and D. Sangiorgi. Barbed bisimulation. In W. Kuich, editor, 19th ICALP, volume 623 of Lecture Notes in Computer Science, pages 685--695. Springer Verlag, 1992.
Deriving Bisimulation Congruences in the DPO Approach to Graph .. - Ehrig, König (2004) (6 citations) (Correct)
No context found.
Robin Milner and Davide Sangiorgi. Barbed bisimulation. In Proc. of ICALP '92. Springer-Verlag, 1992. LNCS 623.
A Calculus for Modeling Software Components - Nierstrasz, Achermann (2002) (Correct)
No context found.
Robin Milner and Davide Sangiorgi. Barbed bisimulation. In Proceedings ICALP '92, volume 623 of LNCS, pages 685--695, Vienna, July 1992. Springer-Verlag.
On Bisimulations for the Spi Calculus - Johannes Borgstrom And (2002) (4 citations) (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.
Deriving Bisimulation Congruences: A 2-categorical Approach - Sassone (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.
Basic Theory of Reduction Congruence for Two Timed Asynchronous.. - Berger (2004) (Correct)
No context found.
Milner, R., and Sangiorgi, D. Barbed bisimulation. In Proc. ICALP'92 (1992), vol. 623 of LNCS.
Towards Abstractions for Distributed Systems - Berger (2004) (4 citations) (Correct)
No context found.
Robin Milner and Davide Sangiorgi. Barbed bisimulation. In Proc. ICALP'92, 1992.
An Interpretation of Typed Concurrent Objects in the Blue Calculus - Zilio (2000) (Correct)
No context found.
R. Milner and D. Sangiorgi. Barbed bisimulation. In Proc. of ICALP '92, volume 623 of LNCS, pages 685695, 1992.
Bisimulation Proof Methods for Mobile Ambients - Universita (2003) (10 citations) (Correct)
No context found.
R. Milner and D. Sangiorgi. Barbed bisimulation. In Proc. 19th ICALP, volume 623 of LNCS, pages 685--695. Springer Verlag, 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.
Towards Abstractions for Distributed Systems - Berger (2000) (4 citations) (Correct)
No context found.
Robin Milner and Davide Sangiorgi. Barbed bisimulation. In Proc. ICALP'92, 1992.
A theory of bisimulation for a fragment of concurrent ML - With Local Names (Correct)
No context found.
R. Milner and D. Sangiorgi. Barbed bisimulation. In Proc. ICALP, volume 623 of Lecture notes in Computer Science. Springer-Verlag, 1992.
Nomadic π-Calculi: Expressing and Verifying Communication.. - Unyapoth (2001) (Correct)
No context found.
Robin Milner and Davide Sangiorgi. Barbed bisimulation. In W. Kuich, editor, Proceedings of ICALP '92, volume 623 of Lecture Notes in Computer Science, pages 685-695. Springer, 1992.
Information Flow Security in Boxed Ambients - Crafa, Bugliesi, Castagna (2002) (4 citations) (Correct)
No context found.
R. Milner and D. Sangiorgi. Barbed bisimulation. In ICALP'92, number 623 in Lecture Notes in Computer Science, pages 685--695. Springer, 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