Process behaviour: formulae vs. tests (extended abstract)

MaRDI QIDQ4963997zbMATH OpenFDO

Authors Andrea Cerone, Matthew G. Hennessy

Publication date 24 February 2021

Full work available at URL https://arxiv.org/abs/1011.6438, http://eptcs.web.cse.unsw.edu.au/paper.cgi?EXPRESS10.3

Mathematics Subject Classification ID

Logic in computer science (03B70) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• scientific article; zbMATH DE number 1330129
• Testing Semantics: Connecting Processes and Process Logics
• Remarks on testing probabilistic processes
• Bisimulation through probabilistic testing
• Testing equivalences for processes

Cited in

(3)

• Monitorability for the Hennessy-Milner logic with recursion
• Synthesising correct concurrent runtime monitors
• Testing Semantics: Connecting Processes and Process Logics

This page was built for publication: Process behaviour: formulae vs. tests (extended abstract)

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