Late and early semantics coincide for testing

DOI10.1016/0304-3975(94)00304-2zbMATH Open0873.68128OpenAlexW2036925387MaRDI QIDQ673146FDOQ673146

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

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

zbMATH Keywords

operational semanticsCCS

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55)

Cites Work

• Title not available (Why is that?)
• A calculus of mobile processes. II
• A calculus of communicating systems
• Communicating sequential processes
• Title not available (Why is that?)
• Title not available (Why is that?)
• A theory of communicating processes with value passing
• Communicating processes with value-passing and assignments

Cited In (2)

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

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)