Specification Structures and Propositions−as−Types for Concurrency
S. Abramsky‚ S. Gay and R. Nagarajan
Details
| Book Title |
Logics for Concurrency: Structure vs. Automata—Proceedings of the VI I Ith Banff Higher Order Workshop |
| Editor |
G. Birtwistle and F. Moller |
| Pages |
5−40 |
| Publisher |
Springer−Verlag |
| Year |
1996 |
Links
Related pages
|
People |