<> "The repository administrator has not yet configured an RDF license."^^ . <> . . . "Asynchronous Observations of Processes"^^ . "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. "^^ . "1998" . "1378" . . "Springer"^^ . . "Springer"^^ . . . . . . . . . . . . . . . . . "Maurice"^^ . "Nivat"^^ . "Maurice Nivat"^^ . . "Michele"^^ . "Boreale"^^ . "Michele Boreale"^^ . . "Rosario"^^ . "Pugliese"^^ . "Rosario Pugliese"^^ . . "Rocco"^^ . "De Nicola"^^ . "Rocco De Nicola"^^ . . . . . "HTML Summary of #348 \n\nAsynchronous Observations of Processes\n\n" . "text/html" . . . "QA75 Electronic computers. Computer science"@en . .