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

Guang Zheng, Shaorong Li, Jinzhao Wu, Lian Li

Browse the full FAW paper archive.