On formulating simultaneity for studying parallelism and synchronization

Raymond E. Miller, Chee Yap

Research output: Chapter in Book/Report/Conference proceedingChapter

Abstract

A formal model of a synchronization system is introduced and within the model, a precise notion of simultaneity is formulated. The main results show sufficient and nondeletable conditions for the formula ″commutativity is identical to simultaneity″ to obtain.

Original languageEnglish (US)
Title of host publicationProceedings of the 10th Annual ACM Symposium on Theory of Computing (STOC) San Diego, California. 1978)
PublisherACM
Pages105-113
Number of pages9
StatePublished - 1978
EventConf Rec Annu ACM Symp Theory Comput 10th, Pap Presented at the Symp - San Diego, CA, USA
Duration: May 1 1978May 3 1978

Other

OtherConf Rec Annu ACM Symp Theory Comput 10th, Pap Presented at the Symp
CitySan Diego, CA, USA
Period5/1/785/3/78

    Fingerprint

ASJC Scopus subject areas

  • Engineering(all)

Cite this

Miller, R. E., & Yap, C. (1978). On formulating simultaneity for studying parallelism and synchronization. In Proceedings of the 10th Annual ACM Symposium on Theory of Computing (STOC) San Diego, California. 1978) (pp. 105-113). ACM.