Semantics of nondeterministic asynchronous broadcast networks

DOI10.1006/INCO.1993.1031MaRDI QIDQ2366562zbMATH OpenOpenAlexFDO

Authors K. T. Narayana, Toniann Pitassi, R. K. Shyamasundar

Publication date 30 August 1993

Published in Information and Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1006/inco.1993.1031

zbMATH Keywords

broadcast communicationsclassificationCSPreal-time semantics

Mathematics Subject Classification ID

Network design and communication in computer systems (68M10) Formal languages and automata (68Q45) Semantics in the theory of computing (68Q55)

Review text

The authors develop a language for asynchronous broadcast communication based on variants of CSP (Communicating Sequential Processes). The language is used to model and analyze the various categories of broadcast communications such as Ethernet. The paper is a first attempt at a classification and a formal treatment of broadcast using a realistic real-time model. The authors give a syntax-directed compositional denotational semantics for a spectrum of nondeterministic broadcast networks of processes under the maximal parallelism model applying a simple semantics domain of prefix-closed state-history pairs. The semantics provides a model of various broadcast categories. This model leads to a specification-oriented semantics of broadcast networks, forming a basis for a compositional verification of such systems.

Recommendations

• scientific article; zbMATH DE number 4041249
• scientific article; zbMATH DE number 3956422
• scientific article; zbMATH DE number 3938554
• Semantics of communicating processes
• scientific article; zbMATH DE number 4062561

Cited in

(3)

• Static analysis of topology-dependent broadcast networks
• scientific article; zbMATH DE number 4041249 (Why is no real title available?)
• scientific article; zbMATH DE number 7020152 (Why is no real title available?)

This page was built for publication: Semantics of nondeterministic asynchronous broadcast networks

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2366562)