Logo eprints

Asynchronous Observations of Processes

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)

Full text not available from this repository.


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.

Item Type: Book Section
Identification Number: 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”.
Subjects: Q Science > QA Mathematics > QA75 Electronic computers. Computer science
Research Area: Computer Science and Applications
Depositing User: Rocco De Nicola
Date Deposited: 13 Jun 2011 12:28
Last Modified: 11 Jul 2011 14:36
URI: http://eprints.imtlucca.it/id/eprint/348

Actions (login required)

Edit Item Edit Item