Towards a pomset semantics for a shared-variable parallel language

DOI10.1007/978-3-642-16690-7_14MaRDI QIDQ3055753zbMATH OpenOpenAlexFDO

Authors Yongxin Zhao, Xu Wang, Huibiao Zhu

Publication date 9 November 2010

Published in Unifying Theories of Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-16690-7_14

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• scientific article; zbMATH DE number 17816
• scientific article; zbMATH DE number 1927580
• scientific article; zbMATH DE number 4016177
• Full abstraction for a shared-variable parallel language
• The relationship between two semantics of parallel computations

Cited in

(6)

• scientific article; zbMATH DE number 1638641 (Why is no real title available?)
• scientific article; zbMATH DE number 4016177 (Why is no real title available?)
• scientific article; zbMATH DE number 4084982 (Why is no real title available?)
• scientific article; zbMATH DE number 17816 (Why is no real title available?)
• scientific article; zbMATH DE number 1916672 (Why is no real title available?)
• The relationship between two semantics of parallel computations

This page was built for publication: Towards a pomset semantics for a shared-variable parallel language

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