Logo eprints

Divergence in testing and readiness semantics

Boreale, Michele and De Nicola, Rocco and Pugliese, Rosario Divergence in testing and readiness semantics. Theoretical Computer Science, 266 (1-2). pp. 237-248. ISSN 0304-3975 (2001)

Full text not available from this repository.


Many variants of must-testing semantics 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 is one such variant, that naturally pops up when studying the behavioural pre-congruences induced by certain basic observables. Here, we study the relationship between safe-testing and Olderog's readiness semantics, a semantics induced by a natural process logic. We show that safe-testing is finer than readiness, and coincides with a refinement of readiness obtained by tuning Olderog's definition. For both safe-testing and the original readiness semantics we propose simple complete axiomatizations, which permit a fuller appreciation of their similarities and differences.

Item Type: Article
Identification Number: 10.1016/S0304-3975(00)00170-5
Uncontrolled Keywords: Readiness semantics; Divergence; Safe-testing
Subjects: Q Science > QA Mathematics > QA75 Electronic computers. Computer science
Research Area: Computer Science and Applications
Depositing User: Rocco De Nicola
Date Deposited: 09 Jun 2011 08:19
Last Modified: 11 Jul 2011 14:36
URI: http://eprints.imtlucca.it/id/eprint/331

Actions (login required)

Edit Item Edit Item