scientific article; zbMATH DE number 2084342

MaRDI QIDQ3043824zbMATH OpenFDO

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

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)

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

Cited in

(9)

• Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems
• scientific article; zbMATH DE number 4108727 (Why is no real title available?)
• scientific article; zbMATH DE number 218548 (Why is no real title available?)
• Observational equivalences for timed stable event structures
• Analysis of equivalence relations of event structures with continuous time
• scientific article; zbMATH DE number 4018369 (Why is no real title available?)
• Semantic domains of timed event structures
• Observability of extended timed event graph
• A functorial semantics for observed concurrency

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)