Compositional methods in characterization of timed event structures

DOI10.1007/978-3-642-29709-0_8MaRDI QIDQ3457972zbMATH OpenOpenAlexFDO

Authors E. N. Bozhenkova

Publication date 7 December 2015

Published in Perspectives of Systems Informatics (Search for Journal in Brave)

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

zbMATH Keywords

logical characterizationtesting relationstimed event structures

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

• Composition methods for constructing characteristic formulas for dense-time models
• scientific article; zbMATH DE number 2186290
• Characteristic formulae for timed autoamta
• scientific article; zbMATH DE number 6261993
• A logic characteristic for timed extensions of partial order based equivalences

Cited in

(3)

• Composition methods for constructing characteristic formulas for dense-time models
• Characteristic formulae for timed autoamta
• scientific article; zbMATH DE number 2186290 (Why is no real title available?)

This page was built for publication: Compositional methods in characterization of timed event structures

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