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 language | English (US) |
|---|---|
| Title of host publication | Proceedings of the 10th Annual ACM Symposium on Theory of Computing (STOC) San Diego, California. 1978) |
| Publisher | ACM |
| Pages | 105-113 |
| Number of pages | 9 |
| State | Published - 1978 |
| Event | Conf Rec Annu ACM Symp Theory Comput 10th, Pap Presented at the Symp - San Diego, CA, USA Duration: May 1 1978 → May 3 1978 |
Other
| Other | Conf Rec Annu ACM Symp Theory Comput 10th, Pap Presented at the Symp |
|---|---|
| City | San Diego, CA, USA |
| Period | 5/1/78 → 5/3/78 |
ASJC Scopus subject areas
- General Engineering