Open maps and weak trace equivalence for timed event structures

MaRDI QIDQ2880604zbMATHFDO

Authors N. S. Gribovskaya

Publication date 13 April 2012

Published in Joint Bulletin of the Novosibirsk Computing Center (NCC) and A. P. Ershov Institute of Informatics Systems (IIS). Series: Computer Science (Search for Journal in Brave)

zbMATH Keywords

causality relationconflict relationprinciple of conflict heredity

Mathematics Subject Classification ID

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

Recommendations

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

Cited in

(6)

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

This page was built for publication: Open maps and weak trace equivalence for timed event structures

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