eprintid: 331
rev_number: 9
eprint_status: archive
userid: 32
dir: disk0/00/00/03/31
datestamp: 2011-06-09 08:19:03
lastmod: 2011-07-11 14:36:26
status_changed: 2011-06-09 08:19:03
type: article
metadata_visibility: show
item_issues_count: 0
creators_name: Boreale, Michele
creators_name: De Nicola, Rocco
creators_name: Pugliese, Rosario
creators_id: 
creators_id: r.denicola@imtlucca.it
creators_id: 
title: Divergence in testing and readiness semantics
ispublished: pub
subjects: QA75
divisions: CSA
full_text_status: none
keywords: Readiness semantics; Divergence; Safe-testing
abstract: 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.
date: 2001
date_type: published
publication: Theoretical Computer Science
volume: 266
number: 1-2
publisher: Elsevier
pagerange: 237-248
id_number: 10.1016/S0304-3975(00)00170-5
refereed: TRUE
issn: 0304-3975
official_url: http://www.sciencedirect.com/science/article/pii/S0304397500001705
citation:   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)