TY  - CHAP
ID  - eprints348
T2  - Foundations of Software Science and Computation Structures (FoSSaCS 1998)
EP  - 109
SN  - 3-540-64300-1
M1  - 1378
N2  - 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. 
AV  - none
TI  - Asynchronous Observations of Processes
UR  - http://dx.doi.org/10.1007/BFb0053544
ED  - Nivat, Maurice
A1  - Boreale, Michele
A1  - De Nicola, Rocco
A1  - Pugliese, Rosario
PB  - Springer
SP  - 95
T3  - Lecture Notes in Computer Science
Y1  - 1998///
ER  -