CCS Semantics via Proved Transition Syst
โ
Georgia Carabetta; Pierpaolo Degano; Fabio Gadducci
๐
Article
๐
1998
๐
Elsevier Science
๐
English
โ 959 KB
We consider (a slight v ariant of) the ccs calculus, and we analyze two operational semantics de ned in the literature: the rst exploits Proved Transition Systems (pts) and the second Rewriting Logic (rl). We s h o w that the interleaving interpretation of both semantics agree, in that they de ne th