Late and early semantics coincide for testing

DOI10.1016/0304-3975(94)00304-2MaRDI QIDQ673146zbMATH OpenOpenAlexFDO

Authors Anna Ingolfsdottir

Publication date 28 February 1997

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

Full work available at URL https://doi.org/10.1016/0304-3975(94)00304-2

zbMATH Keywords

operational semanticsCCS

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55)

Recommendations

• Divergence in testing and readiness semantics
• LaTe, a Non-fully Deterministic Testing Language
• Testing Semantics for RTPA
• Semantic confluence tests and completion methods
• Testing Semantics: Connecting Processes and Process Logics
• Mathematical Foundations of Computer Science 2003
• Semantic mutation testing
• scientific article; zbMATH DE number 1344493
• Translating Testing Theories for Concurrent Systems

Cites work

• scientific article; zbMATH DE number 3716792 (Why is no real title available?)
• scientific article; zbMATH DE number 3744561 (Why is no real title available?)
• scientific article; zbMATH DE number 48630 (Why is no real title available?)
• A calculus of communicating systems
• A calculus of mobile processes. II
• A theory of communicating processes with value passing
• Communicating processes with value-passing and assignments
• Communicating sequential processes

Cited in

(2)

• Characterisations of testing preorders for a finite probabilistic \(\pi\)-calculus
• A semantic theory for value-passing processes based on the late approach

This page was built for publication: Late and early semantics coincide for testing

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q673146)