Boreale, Michele and De Nicola, Rocco and Pugliese, Rosario A Theory of "May" Testing for Asynchronous Languages. In: Foundations of Software Science and Computation Structures (FoSSaCS 1999). Lecture Notes in Computer Science, 1578 . Springer, pp. 165-179. ISBN 3-540-65719-3 (1999)
Full text not available from this repository.Abstract
Asynchronous communication mechanisms are usually a basic ingredient of distributed systems and protocols. For these systems, asynchronous may-based testing seems to be exactly what is needed to capture safety and certain security properties. We study may testing equivalence focusing on the asynchronous versions of CCS and π-calculus. We start from an operational testing preorder and provide finitary and fully abstract trace-based interpretations for it, together with complete inequational axiomatizations. The results throw light on the differences between synchronous and asynchronous systems and on the weaker testing power of asynchronous observations.
| Item Type: | Book Section |
|---|---|
| Identification Number: | https://doi.org/10.1007/3-540-49019-1_12 |
| Subjects: | Q Science > QA Mathematics > QA75 Electronic computers. Computer science |
| Research Area: | Computer Science and Applications |
| Depositing User: | Rocco De Nicola |
| Date Deposited: | 06 Jun 2011 13:48 |
| Last Modified: | 11 Jul 2011 14:36 |
| URI: | http://eprints.imtlucca.it/id/eprint/341 |
Actions (login required)
 |
Edit Item |
