scientific article; zbMATH DE number 1533823

MaRDI QIDQ4517038zbMATH OpenFDO

Authors I. B. Vibitskajte, A. V. Votintseva

Publication date 20 November 2000

zbMATH Keywords

causalityconcurrencyconflictequivalence notionsevent structuresrefinement of actions

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 4018369
• Characterising spectra of equivalences for event structures, logically
• scientific article; zbMATH DE number 6261993
• scientific article; zbMATH DE number 1534596
• scientific article; zbMATH DE number 1534589
• Event calculus and temporal action logics compared
• Testing equivalences for real-time event structures
• scientific article; zbMATH DE number 3852428
• scientific article; zbMATH DE number 5587277

Cited in

(3)

• scientific article; zbMATH DE number 1534596 (Why is no real title available?)
• scientific article; zbMATH DE number 6407500 (Why is no real title available?)
• scientific article; zbMATH DE number 6261993 (Why is no real title available?)

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