下载掌阅APP，畅读海量书库
立即打开
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.