M. Merro and F. Z. Nardelli. Bisimulation proof methods for mobile ambients. Proceedings of ICALP'03, volume 2719 of LNCS, pages 584--598. Springer, 2003. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Bisimulation Proof Methods for Mobile Ambients - Merro, Nardelli (2003) (10 citations) Self-citation (Merro Nardelli) (Correct)
No context found.
M. Merro and F. Zappa Nardelli. Bisimulation proof methods for mobile ambients. Computer Science Report 2003:01, http://cogslib.cogs.susx.ac.uk/csr abs.php?cs, University of Sussex, 2003.
Bisimulation Proof Methods for Mobile Ambients - Universita (2003) (10 citations) Self-citation (Merro Nardelli) (Correct)
No context found.
M. Merro and F. Zappa Nardelli. Bisimulation proof methods for mobile ambients. Computer Science Report 2003:01, http://cogslib.cogs.susx.ac.uk/csr abs.php?cs, University of Sussex, 2003.
Behavioural Theory for Mobile Ambients - Merro, Nardelli (2004) (1 citation) Self-citation (Merro Nardelli) (Correct)
No context found.
M. Merro and F. Zappa Nardelli. Bisimulation proof methods for mobile ambients. In Proc. ICALP 2003. Springer Verlag, 2003. An extended version is available as Computer Science Report 2003:01, University of Sussex, http://cogslib.cogs.susx.ac.uk/csr abs.php?cs.
A Semantic Theory for Global Computing Systems - Daniele Gorla Rosario (2003) (Correct)
No context found.
M. Merro and F. Z. Nardelli. Bisimulation proof methods for mobile ambients. Proceedings of ICALP'03, volume 2719 of LNCS, pages 584--598. Springer, 2003.
A Dependently Typed Ambient Calculus - Lhoussaine, Sassone (2003) (9 citations) (Correct)
No context found.
M. Merro and F. Zappa-Nardelli. Bisimulation proof methods for mobile ambients. In ICALP'03,volume 2719. Lecture Notes in Computer Science, 2003.
A Dependently Typed Ambient Calculus - Lhoussaine, Sassone (2003) (9 citations) (Correct)
No context found.
M. Merro and F. Zappa-Nardelli. Bisimulation proof methods for mobile ambients. In ICALP'03, volume 2719. Lecture Notes in Computer Science, 2003.
MIKADO Global Computing Project IST-2001-32222 - Mobile Calculi Based (Correct)
No context found.
M. Merro and F. Z. Nardelli. Bisimulation proof methods for mobile ambients. Technical Report 2003:1, COGS, University of Sussex, Brighton, 2003. An extended abstract appeared in the Proceedings of ICALP'03.
A Semantic Theory for Global Computing Systems - Daniele Gorla Rosario (2003) (Correct)
No context found.
M. Merro and F. Z. Nardelli. Bisimulation proof methods for mobile ambients. Proceedings of ICALP'03, volume 2719 of LNCS, pages 584--598. Springer, 2003.
Confining Data and Processes in Global Computing Applications - De Nicola, Gorla, Pugliese (2004) (Correct)
No context found.
M. Merro and F. Z. Nardelli. Bisimulation proof methods for mobile ambients. In Proc. of ICALP'03, volume 2719 of LNCS. Springer-Verlag, 2003.
Domain Theory for Concurrency - Nygaard (2003) (1 citation) (Correct)
No context found.
M. Merro and F. Zappa Nardelli. Bisimulation proof methods for mobile ambients. In Proc. ICALP'03, LNCS 2719.
Name-Passing In An Ambient-Like Calculus and Its Proof Using.. - Guan (2004) (Correct)
No context found.
Massimo Merro and Francesco Zappa Nardelli. Bisimulation proof methods for mobile ambients. In Proceedings of ICALP 2003, volume 2719 of LNCS. Springer, July 2003. Available as COGS Technical Report 2003:1.
A Semantic Theory for Global Computing Systems - Gorla, Pugliese (2004) (Correct)
No context found.
M. Merro and F. Z. Nardelli. Bisimulation proof methods for mobile ambients. In Proc. of ICALP'03, volume 2719 of LNCS. Springer-Verlag, 2003.
Domain Theory for Concurrency - Nygaard (2003) (1 citation) (Correct)
No context found.
M. Merro and F. Zappa Nardelli. Bisimulation proof methods for mobile ambients. In Proc. ICALP'03, LNCS 2719.
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