Model checking concurrency and causality

DOI10.1007/978-3-319-57861-3_11zbMath1393.68109OpenAlexW2610792783MaRDI QIDQ1662535

Karsten Schmidt

Publication date: 20 August 2018

Full work available at URL: https://doi.org/10.1007/978-3-319-57861-3_11

Mathematics Subject Classification ID

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

This page was built for publication: Model checking concurrency and causality