scientific article; zbMATH DE number 1059328

MaRDI QIDQ4353635zbMATH OpenFDO

Authors Albert R. Meyer, Alexander Rabinovich

Publication date 10 September 1997

zbMATH Keywords

interleaving semanticspartial order semantics

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Semantics in the theory of computing (68Q55)

Recommendations

• The relationship between two semantics of parallel computations
• scientific article; zbMATH DE number 1215473
• scientific article; zbMATH DE number 177513
• scientific article; zbMATH DE number 177254

Cited in

(7)

• Deciding global partial-order properties
• scientific article; zbMATH DE number 4092736 (Why is no real title available?)
• scientific article; zbMATH DE number 4110070 (Why is no real title available?)
• scientific article; zbMATH DE number 177254 (Why is no real title available?)
• scientific article; zbMATH DE number 1215473 (Why is no real title available?)
• Interleaving based model checking of concurrency and causality
• The relationship between two semantics of parallel computations

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