scientific article; zbMATH DE number 2084342

zbMATH Open1073.68695MaRDI QIDQ3043824FDOQ3043824

Authors: I. B. Virbitskaite 

Publication date: 6 August 2004

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2244/22440214.htm

Title of this publication is not available (Why is that?)

Recommendations

• Observational equivalences for timed stable event structures
• True concurrent equivalences in time Petri nets
• scientific article; zbMATH DE number 2104639
• scientific article; zbMATH DE number 1839452
• Analysis of equivalence relations of event structures with continuous time

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Cited In (8)

• Analysis of equivalence relations of event structures with continuous time
• Semantic domains of timed event structures
• Observability of extended timed event graph
• Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems
• Observational equivalences for timed stable event structures
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)

This page was built for publication:

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