@inproceedings{c13dc937944643299e24ee91dbc936e1,
title = "On the formal specification and analysis of loosely connected processes",
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.",
author = "Miller, {Raymond E.} and Yap, {Chee K.}",
note = "Publisher Copyright: {\textcopyright} 1979, Springer-Verlag.; International Conference on Mathematical Studies of Information Processing, 1978 ; Conference date: 23-08-1978 Through 26-08-1978",
year = "1979",
doi = "10.1007/3-540-09541-1_22",
language = "English (US)",
isbn = "9783540095415",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "33--66",
editor = "E.K. Blum and M. Paul and S. Takasu",
booktitle = "Mathematical Studies of Information Processing - Proceedings of the International Conference",
}