Testing equivalences for real-time event structures

zbMATH Open1216.68159MaRDI QIDQ3074367FDOQ3074367

E. N. Bozhenkova

Publication date: 8 February 2011

zbMATH Keywords

real-timetesting equivalencetimed event structurelogic characterizations

Mathematics Subject Classification ID

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

Cited In (4)

• Title not available (Why is that?)
• Analysis of equivalence relations of event structures with continuous time
• Title not available (Why is that?)
• Title not available (Why is that?)

   Recommendations

• Composition methods for constructing characteristic formulas for dense-time models 👍 👎
• Analysis of equivalence relations of event structures with continuous time 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Causal testing 👍 👎

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)