Semantics of communicating processes (Q3719813)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Semantics of communicating processes |
scientific article |
Statements
Semantics of communicating processes (English)
0 references
1984
0 references
communicating processes
0 references
operational semantics
0 references
term rewriting rules
0 references
fully abstract denotational semantics
0 references
observable behavior
0 references
advanced fixed point theory
0 references
