Conformance Relations for Labeled Event Structures

DOI10.1007/978-3-642-30473-6_8zbMath1354.68202OpenAlexW2227471340MaRDI QIDQ2900182

Delphine Longuet, Stefan Haar, Hernán Ponce de León

Publication date: 20 July 2012

Published in: Tests and Proofs (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-30473-6_8

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)

Related Items (1)

Monadic Sequence Testing and Explicit Test-Refinements

This page was built for publication: Conformance Relations for Labeled Event Structures