Divergence in testing and readiness semantics

DOI10.1016/S0304-3975(00)00170-5zbMath0989.68084DBLPjournals/tcs/BorealeNP01WikidataQ57650914 ScholiaQ57650914MaRDI QIDQ5958758

R. D. Nicola, Michele Boreale, Rosario Pugliese

Publication date: 3 March 2002

Published in: Theoretical Computer Science (Search for Journal in Brave)

zbMATH Keywords

divergencereadiness semanticssafe-testing

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55)

Related Items (1)

Theory of interaction

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Specification-oriented semantics for communicating processes
• Basic observables for processes
• A theory of communicating processes with value passing
• Testing equivalences for processes
• Nets, Terms and Formulas
• Divergence and fair testing

This page was built for publication: Divergence in testing and readiness semantics