A Non-interleaving Denotational Semantics of Value Passing CCS with Action Refinement

DOI10.1007/978-3-540-73814-5_17zbMath1214.68255OpenAlexW1487071653MaRDI QIDQ3612588

Guang Zheng, Jinzhao Wu, Shaorong Li, Lian Li

Publication date: 10 March 2009

Published in: Frontiers in Algorithmics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-73814-5_17

zbMATH Keywords

semanticsaction refinementvalue passing CCSvalued labeled configuration structuresvalued stable event structures

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

This page was built for publication: A Non-interleaving Denotational Semantics of Value Passing CCS with Action Refinement