Patrick Ferris, Michael Dales, Thomas Swinfield, Sadiq Jaffer, Srinivasan Keshav and Anil Madhavapeddy.
Working paper at Undone Computer Science.
URL (undonecs.sciencesconf.org) BIB PDF
No abstract available
papers