The relationship between two semantics of parallel computations

MaRDI QIDQ5930883zbMATH OpenFDO

Authors Vladimir A. Zakharov, V. V. Spanopulo

Publication date 26 April 2001

Published in Programming and Computer Software (Search for Journal in Brave)

zbMATH Keywords

interleaving semanticspartial order semanticssemantics of parallel computations

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Semantics in the theory of computing (68Q55)

Recommendations

• scientific article; zbMATH DE number 1215473
• scientific article; zbMATH DE number 1059328
• Towards a pomset semantics for a shared-variable parallel language
• scientific article; zbMATH DE number 723228
• scientific article; zbMATH DE number 3963828

Cited in

(11)

• Relation-based semantics for concurrency
• A faithful embedding of parallel computations in star-finite models
• On verification of parallel message-passing processes
• Interdefinability of parallel operations in PCF
• Towards a pomset semantics for a shared-variable parallel language
• scientific article; zbMATH DE number 3963828 (Why is no real title available?)
• Relations between Concurrent-Write Models of Parallel Computation
• scientific article; zbMATH DE number 1215473 (Why is no real title available?)
• scientific article; zbMATH DE number 1059328 (Why is no real title available?)
• scientific article; zbMATH DE number 1096856 (Why is no real title available?)
• Theoretical Aspects of Computing – ICTAC 2005

This page was built for publication: The relationship between two semantics of parallel computations

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5930883)