Observational refinement and merge for disjunctive MTSs

DOI10.1007/978-3-319-46520-3_19zbMath1398.68332OpenAlexW2523195045MaRDI QIDQ1990514

Marsha Chechik, Shoham Ben-David, Sebastian Uchitel

Publication date: 25 October 2018

Full work available at URL: http://hdl.handle.net/10044/1/50071

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: Observational refinement and merge for disjunctive MTSs