To make this book self-contained,we introduce some preliminaries in this chapter,including introductions on operational semantics,proof techniques,and truly concurrent process algebra
[7]
,which is based on truly concurrent operational semantics.
X9nhSZnNMMMbsCtha97y9yMN6PYSabUfnyjVpCX9AFrbYF6d9/DNkJtYJheYDJgl