Asynchronous Observations of Processes
Asynchronous Observations of Processes
复制标题
进程的异步观察
DOI：
10.1007/bfb0053544
复制
发表时间：
1998
期刊：
影响因子：
4.4
通讯作者：
R. Pugliese
中科院分区：
文献类型：
--
作者：
Michele Boreale;R. Nicola;R. Pugliese
我们在异步设置中研究基于may和must测试的预订。特别地，我们提供了一些完整的抽象定理，这些定理根据上下文闭包、基本可观察性以及跟踪和接受集提供了这些预定的可选特征。这些特征揭示了异步交互中输入和输出操作之间的不对称性，以及同步和异步之间的区别。
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.