Formal semantics of a class of high-level primitives for coordinating concurrent processes

P. E. Lauer, R. H. Campbell

Research output: Contribution to journalArticle

Abstract

High level programs for generating systems of cooperating concurrent processes are classified according to syntactic criteria. Their semantic characterization by means of Petri Nets, a mathematical theory of system descriptions, induces a corresponding syntactic classification on the latter. This permits the transferal of intuitively important semantical results of Petri Net theory to their corresponding programs. As a consequence it becomes possible to determine a certain kind of semantic correctness of a programm merely by its syntactic classification. Alternate solutions to a well known synchronization problem are treated in this way.

Original languageEnglish (US)
Pages (from-to)297-332
Number of pages36
JournalActa Informatica
Volume5
Issue number4
DOIs
StatePublished - Dec 1 1975
Externally publishedYes

ASJC Scopus subject areas

  • Software
  • Information Systems
  • Computer Networks and Communications

Fingerprint Dive into the research topics of 'Formal semantics of a class of high-level primitives for coordinating concurrent processes'. Together they form a unique fingerprint.

  • Cite this