Michele Boreale, Rocco De Nicola, Rosario Pugliese  Home/Search
Context
Related
| rap.dsi.unifi.it/pub/p...safemust.ps.gz music.dsi.unifi.it/pap...safemust.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: rap.dsi.unifi.it/papers (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Many variants of must-testing equivalence have been put forward that are equally sensitive to deadlock, but differ for the stress they put on divergence, i.e. on the possibility for systems of getting involved in infinite internal computations. Safe testing equivalence is one of such variants, that naturally pops up when studying the behavioural pre--congruences induced by certain basic observables. Here, we study the relationships between safe testing and Olderog's readiness semantics, an... (Update)
Similar documents (at the sentence level):
9.3%: Basic Observables for Processes - Boreale, De Nicola, Pugliese (Correct)
Active bibliography (related documents): More All
0.1: Applications of Fair Testing - Brinksma, Rensink, Vogler (1996) (Correct)
0.1: On Full Abstractness for Fair Testing - Natarajan, Cleaveland (1996) (Correct)
0.1: Process Algebra and Markov Chains - Brinksma, Hermanns (Correct)
Similar documents based on text: More All
0.5: Process Algebraic Analysis of Cryptographic Protocols - Boreale, De Nicola, Pugliese (2000) (Correct)
0.4: Basic Observables for a Calculus for Global Computing - De Nicola, Gorla, Pugliese (2004) (Correct)
0.3: A Framework for the Analysis of Security Protocols - Boreale, Buscemi (2001) (Correct)
BibTeX entry: (Update)
@article{ boreale01divergence,
author = "Michele Boreale and Rocco De Nicola and Rosario Pugliese",
title = "Divergence in testing and readiness semantics",
journal = "Theoretical Computer Science",
volume = "266",
number = "1--2",
pages = "237--248",
year = "2001",
url = "citeseer.ist.psu.edu/43420.html" }
Citations (may not include all citations):2732 Communicating Sequential Processes (context) - Hoare - 1985
299 Algebraic Theory of Processes (context) - Hennessy - 1988
168 Testing Equivalence for Processes (context) - De Nicola, Hennessy - 1984
78 Specification-oriented semantics for communicating processes (context) - Olderog, Hoare - 1986
26 Terms and Formulas (context) - Olderog - 1991
24 Fair Testing - Brinksma, Rensink et al. - 1995
13 Divergence and Fair Testing (context) - Natarajan, Cleaveland - 1995
10 CCS without ø 's (context) - De Nicola, Hennessy - 1987
1 To appear in Information and Computation (context) - Boreale, De Nicola et al. - 1999
Documents on the same site (http://rap.dsi.unifi.it/papers.html): More
Basic Observables for Processes - Boreale, De Nicola, Pugliese (Correct)
A Theory of "May" Testing for Asynchronous Languages - Boreale, De Nicola, Pugliese (Correct)
Linda based Applicative and Imperative Process Algebras - De Nicola, Pugliese (2000) (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