Model-checking process equivalences

MaRDI QIDQ4986504zbMATH OpenFDO

Authors Martin Lange, Etienne Lozes, Manuel Vargas Guzmán

Publication date 27 April 2021

Full work available at URL http://eptcs.web.cse.unsw.edu.au/paper.cgi?GandALF2012.4

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Logic in computer science (03B70) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Model-checking process equivalences
• Testing equivalences for processes
• A generic framework for checking semantic equivalences between pushdown automata and finite-state automata
• Testing equivalence as a bisimulation equivalence
• Modal logics for mobile processes

Cited in

(5)

• Equivalence checking using structural methods
• Model-checking process equivalences
• Experimenting with process equivalence
• Global Computing
• Process equivalence problems as energy games

This page was built for publication: Model-checking process equivalences

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