On the formal specification and analysis of loosely connected processes

Raymond E. Miller, Chee 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
PublisherSpringer Verlag
Pages33-66
Number of pages34
Volume75 LNCS
ISBN (Print)9783540095415
DOIs
StatePublished - Jan 1 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

Fingerprint

Mutual Exclusion
Formal Analysis
Formal Specification
Synchronization
Requirements
Express
Formulation
Graph in graph theory
Theorem
Formal specification

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)

Cite this

Miller, R. E., & Yap, C. (1979). On the formal specification and analysis of loosely connected processes. In Mathematical Studies of Information Processing - Proceedings of the International Conference (Vol. 75 LNCS, 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

On the formal specification and analysis of loosely connected processes. / Miller, Raymond E.; Yap, Chee.

Mathematical Studies of Information Processing - Proceedings of the International Conference. Vol. 75 LNCS Springer Verlag, 1979. p. 33-66 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 75 LNCS).

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

Miller, RE & Yap, C 1979, On the formal specification and analysis of loosely connected processes. in Mathematical Studies of Information Processing - Proceedings of the International Conference. vol. 75 LNCS, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 75 LNCS, Springer Verlag, pp. 33-66, International Conference on Mathematical Studies of Information Processing, 1978, Kyoto, Japan, 8/23/78. https://doi.org/10.1007/3-540-09541-1_22
Miller RE, Yap C. On the formal specification and analysis of loosely connected processes. In Mathematical Studies of Information Processing - Proceedings of the International Conference. Vol. 75 LNCS. Springer Verlag. 1979. p. 33-66. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). https://doi.org/10.1007/3-540-09541-1_22
Miller, Raymond E. ; Yap, Chee. / On the formal specification and analysis of loosely connected processes. Mathematical Studies of Information Processing - Proceedings of the International Conference. Vol. 75 LNCS Springer Verlag, 1979. pp. 33-66 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).
@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 Chee Yap",
year = "1979",
month = "1",
day = "1",
doi = "10.1007/3-540-09541-1_22",
language = "English (US)",
isbn = "9783540095415",
volume = "75 LNCS",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "33--66",
booktitle = "Mathematical Studies of Information Processing - Proceedings of the International Conference",
address = "Germany",

}

TY - GEN

T1 - On the formal specification and analysis of loosely connected processes

AU - Miller, Raymond E.

AU - Yap, Chee

PY - 1979/1/1

Y1 - 1979/1/1

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

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

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

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

U2 - 10.1007/3-540-09541-1_22

DO - 10.1007/3-540-09541-1_22

M3 - Conference contribution

SN - 9783540095415

VL - 75 LNCS

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 33

EP - 66

BT - Mathematical Studies of Information Processing - Proceedings of the International Conference

PB - Springer Verlag

ER -