Process behaviour: formulae vs. tests (extended abstract)

zbMATH Open1455.68120arXiv1011.6438MaRDI QIDQ4963997FDOQ4963997

Authors: Andrea Cerone, Matthew G. Hennessy 

Publication date: 24 February 2021

Full work available at URL: https://arxiv.org/abs/1011.6438

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

Mathematics Subject Classification ID

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

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)