scientific article; zbMATH DE number 3956420

MaRDI QIDQ3725532zbMATH OpenFDO

Authors Iain Phillips

Publication date 1986

zbMATH Keywords

observation equivalencerefusal testingtesting concurrent processestesting equivalence

Mathematics Subject Classification ID

Theory of operating systems (68N25)

Recommendations

• Refusal testing
• scientific article; zbMATH DE number 1324657
• Concurrent testing of processes
• Testing equivalence for mobile processes
• Trace, failure and testing equivalences for communicating processes

Cited in

(19)

• Bisimulation through probabilistic testing
• Experimenting with process equivalence
• An invitation to friendly testing
• Systems with refusal
• Quiescence, fairness, testing, and the notion of implementation
• Testing congruence for mobile processes
• Interaction semantics with refusals, divergence, and destruction
• Concurrent testing of processes
• Mutually testing processes (extended abstract)
• Refusal simulation and interactive games
• scientific article; zbMATH DE number 1487484 (Why is no real title available?)
• Tests and refutation
• Mutually testing processes
• Refusal testing
• Observation equivalence as a testing equivalence
• A hierarchy of domains for real-time distributed computing
• Abstraction and testing in CSP
• Testing equivalence vs. runtime monitoring
• CSP is a retract of CCS

This page was built for publication:

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