Gruia-Catalin Roman, H. Conrad Cunningham. The Synchronic Group: A Concurrent Programming Concept and Its Proof Logic. In 10th International Conference on Distributed Computing Systems (ICDCS 1990), May 28 - June 1, 1990, Paris, France. pages 142-149, IEEE Computer Society, 1990.
Abstract is missing.