A Domain View of Timed Behaviors

DOI10.3233/FI-2014-1067MaRDI QIDQ2934891zbMATH OpenOpenAlexFDO

Authors R. S. Dubtsov, E. S. Oshevskaya, I. B. Virbitskaite

Publication date 22 December 2014

Published in Fundamenta Informaticae (Search for Journal in Brave)

Full work available at URL https://doi.org/10.3233/fi-2014-1067

Mathematics Subject Classification ID

Continuous lattices and posets, applications (06B35) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• A categorical view of timed behaviours
• Checking Temporal Properties of Discrete, Timed and Continuous Behaviors
• Semantic domains of timed event structures
• Towards an algebra for timed behaviours
• scientific article; zbMATH DE number 3980467
• Behavioral cartography of timed automata
• Specifying timed patterns using temporal logic
• Time and Petri nets

Cited in

(3)

• Spatio-temporal domains: an overview
• Timed transition systems with independence and timed event structures: an adjunction
• Timed transition systems with independence and marked Scott domains: an adjunction

This page was built for publication: A Domain View of Timed Behaviors

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