1 search results - page 1 / 1 » csl 1989 |
110
Voted
CSL
1989
Springer
15 years 6 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 ...