relation: http://eprints.imtlucca.it/348/
title: Asynchronous Observations of Processes
creator: Boreale, Michele
creator: De Nicola, Rocco
creator: Pugliese, Rosario
subject: QA75 Electronic computers. Computer science
description: 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. 
publisher: Springer
contributor: Nivat, Maurice
date: 1998
type: Book Section
type: PeerReviewed
identifier:   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)  
relation: http://dx.doi.org/10.1007/BFb0053544
relation: 10.1007/BFb0053544