Michele Boreale, Rocco De Nicola, Rosario Pugliese  Home/Search
Context Related
| music.dsi.unifi.it/papers...async.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: music.dsi.unifi.it/papers (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: We study trace and may-testing equivalences in the asynchronous versions of CCS and -calculus. We start from the operational definition of the may-testing preorder and provide for it finitary and fully abstract trace-based characterizations, along with a complete in-equational proof system. We also touch upon two variants of this theory, by first considering a more demanding equivalence notion (must-testing) and then a richer version of asynchronous CCS. The results throw light on the... (Update)
Cited by: More
Formal Methods for Component Description, Coordination and .. - Poizat, Royer, Salaun (2004) (Correct)
Basic Observables for a Calculus for Global Computing - De Nicola, Gorla, Pugliese (2004) (Correct)
A Theory of May Testing for Asynchronous Calculi with.. - Thati, Ziaei, Agha (2002) (Correct)
Similar documents (at the sentence level):
74.4%: Trace and Testing Equivalence on Asynchronous Processes - Boreale, De Nicola, Pugliese (1999) (Correct)
8.1%: A Theory of "May" Testing for Asynchronous Languages - Boreale, De Nicola, Pugliese (Correct)
Active bibliography (related documents): More All
0.6: Linda based Applicative and Imperative Process Algebras - De Nicola, Pugliese (Correct)
0.4: History Dependent Automata - Montanari, Pistore (2001) (Correct)
0.4: A Comparison of Simulation Techniques and Algebraic Techniques .. - Lynch, Segala (1997) (Correct)
Similar documents based on text:
0.6: Process Algebraic Analysis of Cryptographic Protocols - Boreale, De Nicola, Pugliese (2000) (Correct)
Related documents from co-citation: More All
4: Communication and Concurrency (context) - Milner - 1989
3: Communicating and Mobile Systems: The -Calculus (context) - Milner - 1999
3: the computational strength of pure ambient calculi (context) - Ma, Phillips - 2003
BibTeX entry: (Update)
M. Boreale and R. De Nicola and R. Pugliese. Trace and Testing Equivalence on Asynchronous Processes. In Lecture Notes in Computer Science, volume 1578, pages 165-179. Springer Verlag, 1999. http://citeseer.ist.psu.edu/boreale99trace.html More
@misc{ boreale99trace,
author = "M. Boreale and R. De Nicola and R. Pugliese",
title = "Trace and Testing Equivalence on Asynchronous Processes",
text = "M. Boreale and R. De Nicola and R. Pugliese. Trace and Testing Equivalence
on Asynchronous Processes. In Lecture Notes in Computer Science, volume
1578, pages 165-179. Springer Verlag, 1999.",
year = "1999",
url = "citeseer.ist.psu.edu/boreale99trace.html" }
Citations (may not include all citations):2732 Communicating Sequential Processes (context) - Hoare - 1985
1933 Communication and Concurrency (context) - Milner - 1989
854 Information and Computation (context) - Milner, Parrow et al. - 1992
625 ACM transactions on Programming languages and Systems (context) - Lamport, logic - 1994
404 A calculus for cryptographic protocols: The spi calculus - Abadi, Gordon - 1999
375 ACM Transactions on Programming Languages and Systems (context) - Gelernter, in - 1985
299 Algebraic Theory of Processes (context) - Hennessy - 1988
294 An Object Calculus for Asynchronous Communication - Honda, Tokoro - 1991
218 Process Algebra for Synchronous Communication (context) - Bergstra, Klop - 1984
149 Testing Equivalence for Processes (context) - De Nicola, Hennessy - 1984
107 A foundation for actor computation - Agha, Mason et al. - 1997
76 The Polyadic -calculus: A Tutorial - Milner - 1991
73 The reflexive chemical abstract machine and the join calculu.. (context) - Fournet, Gonthier - 1996
70 On Asynchronous Communication Semantics - Honda, Tokoro - 1991
47 On Bisimulations for the Asynchronous -calculus - Amadio, Castellani et al. - 1998
36 A process algebraic view of Linda coordination primitives - Busi, Gorrieri et al. - 1998
31 A formal approach to conformance testing (context) - Tretmans - 1992
21 A model and a proof system for asynchronous networks (context) - Jonsson - 1985
20 A hierarchy of equivalences for asynchronous calculi - Fournet, Gonthier - 1998
19 Bisimulations for Asynchronous Mobile Processes - Hansen, Huttel et al. - 1995
18 of the 18th IEEE Symposium on Foundations of Computer Scienc.. (context) - Pnueli, Logic et al. - 1977
18 First-order axioms for asynchrony - Selinger - 1997
16 Bisimulations in the Join Calculus - Boreale, Fournet et al. - 1998
13 Asynchronous Communication (context) - de Boer, Klop et al. - 1992
11 Testing Theories for Asynchronous Languages - Castellani, Hennesy - 1998
9 proof Kahn principle inputoutput automata - proof, Kahn et al. - 1989
6 A Process Calculus with Asynchronous Communications (context) - Pugliese - 1995
5 A Process Algebraic View of I/O Automata - De Nicola, Segala - 1995
4 Testing Equivalence for Mobile Systems (context) - Boreale, De Nicola - 1995
4 of Foundations of Software Science and Computation Ssructure.. (context) - Boreale, De Nicola et al. - 1998
4 The Failure of Failures in a Paradigm for Asynchronous Commu.. (context) - de Boer, Kok et al. - 1991
4 of Foundations of Software Science and Computation Ssructure.. (context) - Boreale, De Nicola et al. - 1999
4 on Programming Concepts and Methods (context) - Jifeng, Josephs et al. - 1990
3 Finite state verification for the asynchronous -calculus (context) - Montanari, Pistore - 1999
2 Asynchrony in the -calculus (context) - Boudol - 1992
2 of Foundations of Software Science and Computation Ssructure.. (context) - Rathke, models et al. - 1998
2 to appear in Theoretical Computers Science (context) - De Nicola, Pugliese et al. - 1996
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://music.dsi.unifi.it/papers.html): More
Linda based Applicative and Imperative Process Algebras - De Nicola, Pugliese (Correct)
Divergence in Testing and Readiness Semantics - Boreale, De Nicola, Pugliese (Correct)
A Modal Logic for Mobile Agents - De Nicola, Loreti (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