R. M. Amadio, I. Castellani, and D. Sangiorgi. On bisimulations for the asynchronous #-calculus. Theoretical Computer Science, 195(2):291--324, 1998. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
First 50 documents
Basic Observables for a Calculus for Global Computing - De Nicola, Gorla, Pugliese (2004) (2 citations) Self-citation (Calculus) (Correct)
No context found.
R. M. Amadio, I. Castellani, and D. Sangiorgi. On bisimulations for the asynchronous #-calculus. Theoretical Computer Science, 195(2):291--324, 1998. An extended abstract appeared in Proceedings of CONCUR '96, LNCS 1119: 147--162.
The Join Calculus: A Language for Distributed Mobile Programming - Fournet, Gonthier (2000) Self-citation (Calculus) (Correct)
No context found.
R. M. Amadio, I. Castellani, and D. Sangiorgi. On bisimulations for the asynchronous -calculus. Theoretical Computer Science, 195(2):291-324, 1998.
On Asynchrony in Name-Passing Calculi - Merro, Sangiorgi (2002) (47 citations) Self-citation (Sangiorgi) (Correct)
No context found.
R. Amadio, I. Castellani, and D. Sangiorgi. On bisimulations for the asynchronous #-calculus. Theoretical Computer Science, 195:291--324, 1998. Extended abstract in Proc. CONCUR '96, LNCS 1119, Springer Verlag.
On Message Deliverability and Non-Uniform Receptivity - Amadio, Boudol, Lhoussaine (2001) (1 citation) Self-citation (Amadio) (Correct)
No context found.
Amadio, R., Castellani, I., Sangiorgi, D.: On bisimulations for the asynchronous -calculus, Theoretical Computer Science, 195, 1998, 291--324.
On the Expressive Power of Klaim-based Calculi - De Nicola, Gorla, al. (2004) (Correct)
No context found.
R. M. Amadio, I. Castellani, and D. Sangiorgi. On bisimulations for the asynchronous #-calculus. Theoretical Computer Science, 195(2):291--324, 1998.
Security Policies as Membranes in Systems for Global.. - Gorla, Hennessy, Sassone (2004) (Correct)
No context found.
R. Amadio. On modelling mobility. Theoretical Computer Science, 240(1):147--176, 2000.
Draft, last modified: June 12, 2003 - Towards Tree Of (Correct)
No context found.
Amadio, R. M., On modelling mobility, Theoretical Computer Science 240 (2000), pp. 147--176.
A Semantic Theory for Global Computing Systems - Daniele Gorla Rosario (2003) (Correct)
No context found.
R. M. Amadio, I. Castellani, and D. Sangiorgi. On bisimulations for the asynchronous #-calculus. Theoretical Computer Science, 195(2):291--324, 1998.
A Semantic Theory for Global Computing Systems - Daniele Gorla Rosario (2003) (Correct)
No context found.
R. M. Amadio. On modelling mobility. Theoretical Computer Science, 240(1):147--176, 2000.
Basic Observables for a Calculus for Global Computing - De Nicola, Gorla, Pugliese (2004) (2 citations) (Correct)
No context found.
R. M. Amadio. On modelling mobility. Theoretical Computer Science, 240(1):147--176, 2000.
Security Policies as Membranes in Systems for Global Computing - Gorla, al. (2004) (Correct)
No context found.
R. Amadio. On modelling mobility. Theoretical Computer Science, 240(1):147--176, 2000.
A Distributed Calculus for R ole-Based Access Control - Chiara Braghin Univ (2004) (2 citations) (Correct)
No context found.
R. Amadio. On modelling mobility. Theoretical Computer Science, 240(1):147--176, 2000.
History Dependent Automata - Montanari, Pistore (2001) (3 citations) (Correct)
No context found.
R. Amadio, I. Castellani, and D. Sangiorgi. On bisimulations for the asynchronous -calculus. Theoretical Computer Science, 192(2):291--324, 1998.
MIKADO Global Computing Project IST-2001-32222 - Mobile Calculi Based (Correct)
No context found.
R. M. Amadio, I. Castellani, and D. Sangiorgi. On bisimulations for the asynchronous p-calculus. Theoretical Computer Science, 195(2):291--324, 1998. An extended abstract appeared in Proceedings of CONCUR '96, LNCS 1119: 147--162.
A Semantic Theory for Global Computing Systems - Daniele Gorla Rosario (2003) (Correct)
No context found.
R. M. Amadio, I. Castellani, and D. Sangiorgi. On bisimulations for the asynchronous #-calculus. Theoretical Computer Science, 195(2):291--324, 1998.
A Semantic Theory for Global Computing Systems - Daniele Gorla Rosario (2003) (Correct)
No context found.
R. M. Amadio. On modelling mobility. Theoretical Computer Science, 240(1):147--176, 2000.
Bisimulation Proof Methods for Mobile Ambients - Merro, Nardelli (2003) (10 citations) (Correct)
No context found.
R. Amadio, I. Castellani, and D. Sangiorgi. On bisimulations for the asynchronous #-calculus. Theoretical Computer Science, 195:291--324, 1998.
A Distributed Calculus for R ole-Based Access Control - Chiara Braghin Daniele (2004) (2 citations) (Correct)
No context found.
R. Amadio. On modelling mobility. Theoretical Computer Science, 240(1):147--176, 2000.
Information Society Technologies - Ist Programme Contract (Correct)
No context found.
R.M. Amadio. On modelling mobility. Theoretical Computer Science, 240:147--176, 2000.
A Distributed Calculus for R ole-Based Access Control - Chiara Braghin Daniele (2004) (2 citations) (Correct)
No context found.
R. Amadio. On modelling mobility. Theoretical Computer Science, 240(1):147--176, 2000.
A Semantic Theory for Global Computing Systems - Gorla, Pugliese (2004) (Correct)
No context found.
R. M. Amadio, I. Castellani, and D. Sangiorgi. On bisimulations for the asynchronous #- calculus. Theoretical Computer Science, 195(2):291--324, 1998.
A Semantic Theory for Global Computing Systems - Gorla, Pugliese (2004) (Correct)
No context found.
R. M. Amadio. On modelling mobility. Theoretical Computer Science, 240(1):147--176, 2000.
Bisimulation Proof Methods for Mobile Ambients - Universita (2003) (10 citations) (Correct)
No context found.
R. Amadio, I. Castellani, and D. Sangiorgi. On bisimulations for the asynchronous #-calculus. Theoretical Computer Science, 195:291--324, 1998.
A Distributed Calculus for R ole-Based Access Control - Chiara Braghin Daniele (2004) (2 citations) (Correct)
No context found.
R. Amadio. On modelling mobility. Theoretical Computer Science, 240(1):147--176, 2000.
Behavioural Theory for Mobile Ambients - Merro, Nardelli (2004) (1 citation) (Correct)
No context found.
R. Amadio, I. Castellani, and D. Sangiorgi. On bisimulations for the asynchronous #-calculus. Theoretical Computer Science, 195:291--324, 1998.
First 50 documents
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