Testing equivalences for real-time event structures

zbMATH Open1216.68159MaRDI QIDQ3074367FDOQ3074367

Authors: E. N. Bozhenkova 

Publication date: 8 February 2011

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

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 (5)

• 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?)
• Composition methods for constructing characteristic formulas for dense-time models

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)