Skip to main content

Confluence thanks to extensional determinism

A. W. Roscoe

Book Title
Proceedings of Bertinoro meeting on Concurrency‚ BRICS 2005
Month
May
Note
Revised version‚ publication reference ENTCS 1336‚ 2006
Year
2005