Compositional Methods in Characterization of Timed Event Structures

DOI10.1007/978-3-642-29709-0_8zbMath1336.68178OpenAlexW1473550115MaRDI QIDQ3457972

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 characterizationtimed event structurestesting relations

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)

This page was built for publication: Compositional Methods in Characterization of Timed Event Structures