A fully abstract denotational semantics for the calculus of higher−order communicating systems
B. Thomsen and S. Abramsky
Details
| Book Title |
Theoretical Computer Science |
| Pages |
557−589 |
| Volume |
254 |
| Year |
2001 |
Links
Related pages
|
People |