University of Oxford Logo University of OxfordDepartment of Computer Science - Home

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

BibTeX

Link (pdf)

Related pages

People

Activities