Towards a Pomset Semantics for a Shared-Variable Parallel Language
From MaRDI portal
Publication:3055753
DOI10.1007/978-3-642-16690-7_14zbMath1309.68054OpenAlexW1620904064MaRDI QIDQ3055753
Yongxin Zhao, Huibiao Zhu, Xu Wang
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
Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
This page was built for publication: Towards a Pomset Semantics for a Shared-Variable Parallel Language
