Mutually testing processes

DOI10.2168/LMCS-11(2:1)2015MaRDI QIDQ5246727zbMATH OpenOpenAlexFDO

Authors Giovanni Bernardi, Matthew Hennessy

Publication date 22 April 2015

Published in Logical Methods in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.2168/lmcs-11(2:1)2015

zbMATH Keywords

algebraic characterizationsprocess equivalencesservers, clients and peerstesting theory of processes

Mathematics Subject Classification ID

Internet topics (68M11) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Mutually testing processes (extended abstract)
• Refusal testing
• scientific article; zbMATH DE number 3956420
• Multiparty testing preorders
• On CSP refinement tests that run multiple copies of a process

Cited in

(6)

• A theory of monitors
• A theory of monitors (extended abstract)
• Mutually testing processes (extended abstract)
• scientific article; zbMATH DE number 2155187 (Why is no real title available?)
• Multiparty testing preorders
• Relating fair testing and accordance for service replaceability

This page was built for publication: Mutually testing processes

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