Paper

Type
 
Title
Asynchronous Observations of Processes  
Authors
Michele Boreale, Rocco De Nicola, Rosario Pugliese 
Editors
M. Nivat  
Book
Proc. of Foundations of Software Science and Computation Ssructures (FoSSaCS'98)  
Pages
95-109  
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.  
Number
1378  
Year
1998  
Bibtex key
BDP98  
Bibtex
@{BDP98,
  title = {{Asynchronous Observations of Processes}},
  author = {Boreale, Michele and De Nicola, Rocco and Pugliese, Rosario},
  booktitle = {Proc. of Foundations of Software Science and Computation Ssructures (FoSSaCS'98)},
  editor = {M. Nivat},
  pages = {95-109},
  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. },
  number = {1378},
  year = {1998},
  publisher = {Springer},
  series = {LNCS},
}
 
Created
0000-00-00 00:00:00  
Modified
0000-00-00 00:00:00