<> "The repository administrator has not yet configured an RDF license."^^ . <> . . . "A Theory of \"May\" Testing for Asynchronous Languages"^^ . "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. "^^ . "1999" . "1578" . . "Springer"^^ . . "Springer"^^ . . . . . . . . . . . . . . . . . "Rosario"^^ . "Pugliese"^^ . "Rosario Pugliese"^^ . . "Michele"^^ . "Boreale"^^ . "Michele Boreale"^^ . . "Wolfgang"^^ . "Thomas"^^ . "Wolfgang Thomas"^^ . . "Rocco"^^ . "De Nicola"^^ . "Rocco De Nicola"^^ . . . . . "HTML Summary of #341 \n\nA Theory of \"May\" Testing for Asynchronous Languages\n\n" . "text/html" . . . "QA75 Electronic computers. Computer science"@en . .