scientific article; zbMATH DE number 1534589

zbMATH Open0951.68094MaRDI QIDQ4517375FDOQ4517375

Authors: A. V. Votintseva 

Publication date: 21 November 2000

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

Recommendations

• scientific article; zbMATH DE number 1534596
• Analysis of equivalence relations of event structures with continuous time
• scientific article; zbMATH DE number 70113
• Distributed bisimulations
• Split and ST bisimulation semantics

zbMATH Keywords

Petri netevent structure

Mathematics Subject Classification ID

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

Cited In (4)

• Maximality preserving bisimulation
• Reduction of event structures under history preserving bisimulation
• 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 Q4517375)