On formulating simultaneity for studying parallelism and synchronization

Raymond E. Miller, Chee K. Yap

Research output: Contribution to journalConference articlepeer-review


When studying parallel computation and synchronization one is faced with the problem of modeling the simultaneous execution of processes. Although there has been a multitude of formal means for representing such problems [2, 6, 9, 10, 13, 14, 15], invariably, when all the other complexities of the models have been stripped away, the parallelism or synchronization is studied via sequences of events. In all of these studies simultaneity of events is not studied directly. Rather, it is represented by the interleaving of the separate events into sequences, and by studying properties of the set of all such sequences.

Original languageEnglish (US)
Pages (from-to)105-113
Number of pages9
JournalProceedings of the Annual ACM Symposium on Theory of Computing
StatePublished - May 1 1978
Event10th Annual ACM Symposium on Theory of Computing, STOC 1978 - San Diego, United States
Duration: May 1 1978May 3 1978

ASJC Scopus subject areas

  • Software


Dive into the research topics of 'On formulating simultaneity for studying parallelism and synchronization'. Together they form a unique fingerprint.

Cite this