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

Synchronization

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.

On formulating simultaneity for studying parallelism and synchronization. / Miller, Raymond E.; Yap, Chee.

Proceedings of the 10th Annual ACM Symposium on Theory of Computing (STOC) San Diego, California. 1978). ACM, 1978. p. 105-113.

Research output: Chapter in Book/Report/Conference proceedingChapter

Miller, RE & 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). ACM, pp. 105-113, Conf Rec Annu ACM Symp Theory Comput 10th, Pap Presented at the Symp, San Diego, CA, USA, 5/1/78.
Miller RE, Yap C. 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). ACM. 1978. p. 105-113
Miller, Raymond E. ; Yap, Chee. / On formulating simultaneity for studying parallelism and synchronization. Proceedings of the 10th Annual ACM Symposium on Theory of Computing (STOC) San Diego, California. 1978). ACM, 1978. pp. 105-113
@inbook{c38a723ddb6142c0951b907fdf166ed4,
title = "On formulating simultaneity for studying parallelism and synchronization",
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.",
author = "Miller, {Raymond E.} and Chee Yap",
year = "1978",
language = "English (US)",
pages = "105--113",
booktitle = "Proceedings of the 10th Annual ACM Symposium on Theory of Computing (STOC) San Diego, California. 1978)",
publisher = "ACM",

}

TY - CHAP

T1 - On formulating simultaneity for studying parallelism and synchronization

AU - Miller, Raymond E.

AU - Yap, Chee

PY - 1978

Y1 - 1978

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=0018051629&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=0018051629&partnerID=8YFLogxK

M3 - Chapter

AN - SCOPUS:0018051629

SP - 105

EP - 113

BT - Proceedings of the 10th Annual ACM Symposium on Theory of Computing (STOC) San Diego, California. 1978)

PB - ACM

ER -