Open maps and weak trace equivalence for timed event structures

zbMATH Open1249.68130MaRDI QIDQ2880604FDOQ2880604

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)

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

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)

Cited In (6)

• Categorical modeling of trace equivalence for times automata models with invariants
• Open maps and behavioural equivalences for timed stable event structures
• Title not available (Why is that?)
• Open maps and trace semantics for timed partial order models
• A logic characteristic for timed extensions of partial order based equivalences
• Title not available (Why is that?)

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)