The Synchronic Group: A Concurrent Programming Concept and Its Proof Logic.

Gruia-Catalin Roman, H. Conrad Cunningham

Browse the full ICDCS paper archive.