M. Boreale and D. Sangiorgi. Bisimulation in name-passing calculi without matching. In Proceedings of LICS '98. IEEE, Computer Society Press, 1998. Home/Search Document Not in Database Context Related Articles Check |
This paper is cited by the following papers:
Typed Behavioural Equivalences for Processes in the Presence .. - Hennessy, Rathke (2002) (10 citations) (Correct)
Strong Bisimilarity Can Be Opened - Andersen, Hüttel, Jensen (2002) (Correct)
Linearity and Bisimulation - Yoshida, Honda, Berger (7 citations) (Correct)
Bisimulations in the Join-Calculus - Fournet, Laneve (1999) (1 citation) (Correct)
Automatically Proving Up-to Bisimulation - Hirschkoff (1998) (1 citation) (Correct)
On Equators in Asynchronous Name-passing Calculi without Matching.. - Merro (1999) (8 citations) (Correct)
First-Order Proofs for Higher-Order Languages - Röckl (1999) (Correct)
Behavioural Subtyping in Name Passing Synchronisation Trees - Honda (1999) (2 citations) (Correct)
safeDpi: a language for controlling mobile code - Hennessy, Rathke, Yoshida (2003) (16 citations) (Correct)
Linearity and Bisimulation - Yoshida, Honda, Berger (2002) (7 citations) (Correct)
Unknown - (Correct)
safeDpi: a language for controlling mobile code - Hennessy, Rathke, Yoshida (2003) (16 citations) (Correct)
A Theory of May Testing for Asynchronous Calculi with.. - Thati, Ziaei, Agha (2002) (Correct)
Bisimulations in the Join-Calculus - Fournet, Laneve (2001) (1 citation) (Correct)
Towards an Algebraic Theory of Typed Mobile Processes - Deng, Sangiorgi (2004) Self-citation (Sangiorgi) (Correct)
Towards an Algebraic Theory of Typed Mobile Processes - Deng, Sangiorgi Self-citation (Sangiorgi) (Correct)
Proof Techniques for Cryptographic Processes - Boreale, De Nicola, Pugliese (1999) (33 citations) Self-citation (Boreale) (Correct)
On Asynchrony in Name-Passing Calculi - Merro, Sangiorgi (2002) (47 citations) Self-citation (Sangiorgi) (Correct)
Proof Techniques for Cryptographic Processes - Boreale, De Nicola, Pugliese (1999) (33 citations) Self-citation (Boreale) (Correct)
Behavioral Equivalence in the Polymorphic Pi-Calculus - Pierce, Sangiorgi (1999) (49 citations) Self-citation (Sangiorgi) (Correct)
On Asynchrony in Name-Passing Calculi - Merro, Sangiorgi (1998) (47 citations) Self-citation (Sangiorgi) (Correct)
A π-calculus Process Semantics of Concurrent Idealised ALGOL - Röckl, Sangiorgi Self-citation (Sangiorgi) (Correct)
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