153
click to vote
CSL
15 years 10 months ago
1989 Springer 
We generalize algebraic operational semantics from sequential languages to distributed, concurrent languages using Occam as an example. Elsewhere, we will discuss applications to ...
|
Automated Reasoning