Ilaria Castellani, Matthew Hennessy  Home/Search
Context Related
| cogs.susx.ac.uk/users/mat...fsttcs98.ps sop.inria.fr/mimosa...paperfst98.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: cogs.susx.ac.uk/users...rresearch (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: We study testing preorders for an asynchronous version of CCS called TACCS, where message emission is non blocking. We first give a labelled transition system semantics for this language, which includes both external and internal choice operators. By applying the standard denitions of may and must testing to this semantics we obtain two behavioural preorders based on asynchronous observations, ! and . We present alternative behavioural characterisations of these preorders, which are... (Update)
Cited by: More
A Study of Objects - Hankin (1999) (Correct)
Basic Observables for a Calculus for Global Computing - De Nicola, Gorla, Pugliese (2004) (Correct)
Trace and Testing Equivalence on Asynchronous Processes - Boreale, De Nicola, Pugliese (1999) (Correct)
Similar documents (at the sentence level):
77.6%: Testing Theories for Asynchronous Languages - Castellani, Hennessy (1998) (Correct)
Active bibliography (related documents): More All
0.4: Seminearring Models of Reversible Computation I - Boykett (1997) (Correct)
0.2: A Theory of "May" Testing for Asynchronous Languages - Boreale, De Nicola, Pugliese (Correct)
0.2: Generic Process Algebras for Asynchronous Communication - de Boer, Zavattaro (1999) (Correct)
Similar documents based on text: More All
0.4: On Bisimulations for the Asynchronous π-Calculus - Amadio, Castellani, Sangiorgi (1996) (Correct)
0.4: Compositional Testing Preorders for Probabilistic Processes - Jonsson, Yi (1995) (Correct)
0.4: Symbolic Alternative Characterizations of Testing.. - Yuen, Sakabe, Inagaki (Correct)
Related documents from co-citation: More All
6: An object calculus for asynchronous communication - Honda, Tokoro - 1991
6: INRIA Sophia-Antipolis (context) - rard, Asynchrony et al. - 1992
6: On Asynchronous Communication Semantics - Honda, Tokoro - 1991
BibTeX entry: (Update)
I. Castellani, M. Hennesy. Testing Theories for Asynchronous Languages. Proc. FSTTCS, LNCS , to appear Dec. 1998. http://citeseer.ist.psu.edu/castellani98testing.html More
@inproceedings{ castellani98testing,
author = "Ilaria Castellani and Matthew Hennessy",
title = "Testing Theories for Asynchronous Languages",
booktitle = "Foundations of Software Technology and Theoretical Computer Science",
pages = "90--101",
year = "1998",
url = "citeseer.ist.psu.edu/castellani98testing.html" }
Citations (may not include all citations):2732 Communicating Sequential Processes (context) - Hoare - 1985
1933 Communication and Concurrency (context) - Milner - 1989
299 Algebraic Theory of Processes (context) - Hennessy - 1988
294 An object calculus for asynchronous communication - Honda, Tokoro - 1991
200 Pict: A programming language based on the pi-calculus - Pierce, Turner - 1997
70 On asynchronous communication semantics - Honda, Tokoro - 1992
60 On asynchrony in name-passing calculi - Merro, Sangiorgi - 1998
60 Decoding choice encodings - Nestmann, Pierce - 1996
47 On bisimulations for the asynchronous -calculus - Amadio, Castellani et al. - 1998
45 Asynchrony and the -calculus (context) - Boudol - 1992
18 First-order axioms for asynchrony - Selinger - 1997
5 volume 18 of Cambridge Tracts in Computer Science (context) - Baeten, Weijland - 1990
4 Asynchronous observations of processes (context) - Boreale, DeNicola et al. - 1998
2 Testing equivalences for provesses (context) - DeNicola, Hennessy - 1984
2 Laws for asynchrony (context) - Boreale, DeNicola et al. - 1998
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.cogs.susx.ac.uk/users/matthewh/rresearch.html): More
Local Model Checking for Value-passing Processes (Extended.. - Rathke, Hennessy (Correct)
Local Model Checking for a Value-Based Modal µ-Calculus - Rathke, Hennessy (1996) (Correct)
Type-Safe Execution of Mobile Agents in Anonymous Networks - Hennessy, Riely (1998) (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