Confluence thanks to extensional determinism
A. W. Roscoe
Details
| Book Title |
Proceedings of Bertinoro meeting on Concurrency‚ BRICS 2005 |
| Month |
May |
| Note |
Revised version‚ publication reference ENTCS 1336‚ 2006 |
| Year |
2005 |
Links
Related pages
|
People |
|
|
Activities |