Semantics of communicating processes

Manfred Broy

doi:10.1016/S0019-9958(84)80048-0

Semantics of communicating processes

Manfred Broy

Universität Passau

Research output: Contribution to journal › Article › peer-review

11 Scopus citations

Abstract

The semantics of a simple language for describing tightly coupled "synchronous" systems is defined. An operational semantics is given by term rewriting rules and a consistent fully abstract denotational semantics is defined based on the concept of observable behavior and advanced fixed point theory. Particular properties of the language are analysed and especially algebraic laws of the language are discussed. Finally some aspects and problems of the formal definition of the semantics of such a language are treated also comparing them to other approaches found in the literature.

Original language	English
Pages (from-to)	202-246
Number of pages	45
Journal	Information and Control
Volume	61
Issue number	3
DOIs	https://doi.org/10.1016/S0019-9958(84)80048-0
State	Published - Jun 1984
Externally published	Yes

Access to Document

10.1016/S0019-9958(84)80048-0

Cite this

@article{7ce78dd11da7469eb77587b5151c3e61,

title = "Semantics of communicating processes",

abstract = "The semantics of a simple language for describing tightly coupled {"}synchronous{"} systems is defined. An operational semantics is given by term rewriting rules and a consistent fully abstract denotational semantics is defined based on the concept of observable behavior and advanced fixed point theory. Particular properties of the language are analysed and especially algebraic laws of the language are discussed. Finally some aspects and problems of the formal definition of the semantics of such a language are treated also comparing them to other approaches found in the literature.",

author = "Manfred Broy",

year = "1984",

month = jun,

doi = "10.1016/S0019-9958(84)80048-0",

language = "English",

volume = "61",

pages = "202--246",

journal = "Information and Control",

issn = "0019-9958",

publisher = "Academic Press Inc.",

number = "3",

}

TY - JOUR

T1 - Semantics of communicating processes

AU - Broy, Manfred

PY - 1984/6

Y1 - 1984/6

N2 - The semantics of a simple language for describing tightly coupled "synchronous" systems is defined. An operational semantics is given by term rewriting rules and a consistent fully abstract denotational semantics is defined based on the concept of observable behavior and advanced fixed point theory. Particular properties of the language are analysed and especially algebraic laws of the language are discussed. Finally some aspects and problems of the formal definition of the semantics of such a language are treated also comparing them to other approaches found in the literature.

AB - The semantics of a simple language for describing tightly coupled "synchronous" systems is defined. An operational semantics is given by term rewriting rules and a consistent fully abstract denotational semantics is defined based on the concept of observable behavior and advanced fixed point theory. Particular properties of the language are analysed and especially algebraic laws of the language are discussed. Finally some aspects and problems of the formal definition of the semantics of such a language are treated also comparing them to other approaches found in the literature.

UR - https://www.scopus.com/pages/publications/0021437559

U2 - 10.1016/S0019-9958(84)80048-0

DO - 10.1016/S0019-9958(84)80048-0

M3 - Article

AN - SCOPUS:0021437559

SN - 0019-9958

VL - 61

SP - 202

EP - 246

JO - Information and Control

JF - Information and Control

IS - 3

ER -

Semantics of communicating processes

Abstract

Access to Document

Other files and links

Fingerprint

Cite this