Conformance relations for labeled event structures

DOI10.1007/978-3-642-30473-6_8MaRDI QIDQ2900182zbMATH OpenOpenAlexFDO

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

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)

Recommendations

• scientific article; zbMATH DE number 4018369
• On Conformance Testing for Timed Systems
• scientific article; zbMATH DE number 2013783
• Distributed testing of concurrent systems: vector clocks to the rescue
• Causal testing

Cited in

(12)

• Systems with priorities: conformance, testing, and composition
• Agreement between conformance and composition
• Reconstructing invisible deviating events: a conformance checking approach for recurring events
• Monadic Sequence Testing and Explicit Test-Refinements
• Distributed testing of concurrent systems: vector clocks to the rescue
• scientific article; zbMATH DE number 4018369 (Why is no real title available?)
• scientific article; zbMATH DE number 2013783 (Why is no real title available?)
• scientific article; zbMATH DE number 1534596 (Why is no real title available?)
• scientific article; zbMATH DE number 4770 (Why is no real title available?)
• scientific article; zbMATH DE number 7215282 (Why is no real title available?)
• scientific article; zbMATH DE number 6407500 (Why is no real title available?)
• Language inclusion for finite prime event structures

This page was built for publication: Conformance relations for labeled event structures

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