eprintid: 353
rev_number: 9
eprint_status: archive
userid: 32
dir: disk0/00/00/03/53
datestamp: 2011-06-14 10:58:45
lastmod: 2011-07-11 14:36:26
status_changed: 2011-06-14 10:58:45
type: book_section
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: Basic Observables for Processes
ispublished: pub
subjects: QA75
divisions: CSA
full_text_status: none
abstract: We propose a general approach to define behavioural preorders over process terms by considering the pre-congruences induced by three basic observables. These observables provide information about the initial communication capabilities of processes and about their possibility of engaging in an infinite internal chattering. We show that some of the observables-based pre-congruences do correspond to behavioral preorders long studied in the literature. The coincidence proofs shed light on the differences between the must preorder of De Nicola and Hennessy and the fair/should preorder of Cleaveland and Natarajan and of Brinksma, Rensink and Vogler, and on the rôle played in their definition by tests for internal chattering.
date: 1997
date_type: published
series: Lecture Notes in Computer Science
volume: 1256
publisher: Springer
pagerange: 482-492
id_number: 10.1007/3-540-63165-8_204
refereed: TRUE
isbn: 3-540-63165-8
book_title: Automata, Languages and Programming (ICALP 1997)
editors_name: Degano, Pierpaolo
editors_name: Gorrieri, Roberto
editors_name: Marchetti-Spaccamela, Alberto
official_url: http://dx.doi.org/10.1007/3-540-63165-8_204
funders: Work partially supported by EEC: HCM project EXPRESS, by CNR project "Specifica ad alto livello e verifica formale di sistemi digitali" and by Istituto di Elaborazione delPInformazione CNR, Pisa.
citation:   Boreale, Michele and De Nicola, Rocco and Pugliese, Rosario  Basic Observables for Processes.   In:  Automata, Languages and Programming (ICALP 1997).   Lecture Notes in Computer Science, 1256 .  Springer, pp. 482-492.  ISBN 3-540-63165-8      (1997)