scientific article; zbMATH DE number 1432244

MaRDI QIDQ4947227zbMATH OpenFDO

Authors I. B. Virbitskaite

Publication date 16 April 2000

zbMATH Keywords

density and crossing properties of event structuresmodel for computational processes

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Theory of computing (68Q99) Distributed algorithms (68W15)

Recommendations

• Topological properties of event structures
• A projective formalism applied to topological and probabilistic event structures
• scientific article; zbMATH DE number 3917725
• Event structures and domains
• Event structures and domains

Cited in

(1)

• Developing Topology Discovery in Event-B

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 Q4947227)