Open maps and trace semantics for timed partial order models

DOI10.1007/B94823MaRDI QIDQ5902414zbMATH OpenOpenAlexFDO

Authors I. B. Virbitskaite, N. S. Gribovskaya

Publication date 5 January 2010

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/b94823

zbMATH Keywords

category theorypartial-order semanticstimed event structurestrace equivalence

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• scientific article; zbMATH DE number 2104639
• Open maps and weak trace equivalence for timed event structures
• Open maps and behavioural equivalences for timed stable event structures
• scientific article; zbMATH DE number 1839452
• Categorical modeling of trace equivalence for times automata models with invariants

Cited in

(7)

• Open maps and weak trace equivalence for timed event structures
• Categorical modeling of trace equivalence for times automata models with invariants
• Open maps and behavioural equivalences for timed stable event structures
• Timed history preserving bisimulation and open maps
• A logic characteristic for timed extensions of partial order based equivalences
• scientific article; zbMATH DE number 1839452 (Why is no real title available?)
• scientific article; zbMATH DE number 2104639 (Why is no real title available?)

This page was built for publication: Open maps and trace semantics for timed partial order models

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