@inproceedings{18edd45e982b490bb84b697f6bb4fd8f,
title = "Towards a pomset semantics for a shared-variable parallel language",
abstract = "In this paper we present a pomset semantics for a shared-variable parallel language which is an extension of the one studied by Brookes in [5]. The pomset semantics lifts the transition trace semantics to the non-interleaving setting, where parallel events in a pomset transition trace are labeled by conditionally independent actions. Most of the important laws from the interleaving setting also hold in the non-interleaving setting. Similarities and differences with other related works are discussed.",
author = "Yongxin Zhao and Xu Wang and Huibiao Zhu",
year = "2010",
doi = "10.1007/978-3-642-16690-7\_14",
language = "英语",
isbn = "364216689X",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
pages = "271--285",
booktitle = "Unifying Theories of Programming - Third International Symposium, UTP 2010, Proceedings",
note = "3rd International Symposium on Unifying Theories of Programming, UTP 2010 ; Conference date: 15-11-2010 Through 16-11-2010",
}