On the formal specification and analysis of loosely connected processes

Raymond E. Miller, Chee K. Yap

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract

Two formulations for synchronization problems, called “system of processes” and “synchronization graphs” are introduced in this paper. These are used to express inherent formal properties for such systems and give a set of inherent requirements for the mutual exclusion problem. Results include two theorems on common data requirements for mutual exclusion.

Original languageEnglish (US)
Title of host publicationMathematical Studies of Information Processing - Proceedings of the International Conference
EditorsE.K. Blum, M. Paul, S. Takasu
PublisherSpringer Verlag
Pages33-66
Number of pages34
ISBN (Print)9783540095415
DOIs
StatePublished - 1979
EventInternational Conference on Mathematical Studies of Information Processing, 1978 - Kyoto, Japan
Duration: Aug 23 1978Aug 26 1978

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume75 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Other

OtherInternational Conference on Mathematical Studies of Information Processing, 1978
CountryJapan
CityKyoto
Period8/23/788/26/78

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)

Fingerprint Dive into the research topics of 'On the formal specification and analysis of loosely connected processes'. Together they form a unique fingerprint.

  • Cite this

    Miller, R. E., & Yap, C. K. (1979). On the formal specification and analysis of loosely connected processes. In E. K. Blum, M. Paul, & S. Takasu (Eds.), Mathematical Studies of Information Processing - Proceedings of the International Conference (pp. 33-66). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 75 LNCS). Springer Verlag. https://doi.org/10.1007/3-540-09541-1_22