eprintid: 348
rev_number: 10
eprint_status: archive
userid: 32
dir: disk0/00/00/03/48
datestamp: 2011-06-13 12:28:21
lastmod: 2011-07-11 14:36:26
status_changed: 2011-06-13 12:28:21
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: Asynchronous Observations of Processes
ispublished: pub
subjects: QA75
divisions: CSA
full_text_status: none
abstract: We study may and must testing-based preorders in an asynchronous setting. In particular, we provide some full abstraction theorems that offer alternative characterizations of these preorders in terms of context closure w.r.t. basic observables and in terms of traces and acceptance sets. These characterizations throw light on the asymmetry between input and output actions in asynchronous interactions and on the difference between synchrony and asynchrony. 
date: 1998
date_type: published
series: Lecture Notes in Computer Science
volume: 1378
publisher: Springer
pagerange: 95-109
id_number: 10.1007/BFb0053544
refereed: TRUE
isbn: 3-540-64300-1
book_title: Foundations of Software Science and Computation Structures (FoSSaCS 1998)
editors_name: Nivat, Maurice
official_url: http://dx.doi.org/10.1007/BFb0053544
funders: Work partially supported by EEC: HCM project EXPRESS, and by CNR: project “Specifica ad alto livello e verifica formale di sistemi digitali”.
citation:   Boreale, Michele and De Nicola, Rocco and Pugliese, Rosario  Asynchronous Observations of Processes.   In:  Foundations of Software Science and Computation Structures (FoSSaCS 1998).   Lecture Notes in Computer Science, 1378 .  Springer, pp. 95-109.  ISBN 3-540-64300-1      (1998)