Testing equivalences for real-time event structures

MaRDI QIDQ3074367zbMATH OpenFDO

Authors E. N. Bozhenkova

Publication date 8 February 2011

zbMATH Keywords

logic characterizationsreal-timetesting equivalencetimed event structure

Mathematics Subject Classification ID

Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Composition methods for constructing characteristic formulas for dense-time models
• Analysis of equivalence relations of event structures with continuous time
• scientific article; zbMATH DE number 2186290
• scientific article; zbMATH DE number 1515281
• Causal testing

Cited in

(5)

• Analysis of equivalence relations of event structures with continuous time
• Composition methods for constructing characteristic formulas for dense-time models
• scientific article; zbMATH DE number 2186290 (Why is no real title available?)
• scientific article; zbMATH DE number 1515281 (Why is no real title available?)
• scientific article; zbMATH DE number 1533823 (Why is no real title available?)

This page was built for publication: Testing equivalences for real-time event structures

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