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

Guang Zheng Shaorong Li Jinzhao Wu Lian Li

Published in: FAW (2007)

Keyphrases

denotational semantics
programming language
query language
operational semantics
abstract data types
human actions
data model
software engineering
general purpose
refinement process