Logo eprints

A Theory of "May" Testing for Asynchronous Languages

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: 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 Edit Item