scientific article; zbMATH DE number 4041249

MaRDI QIDQ3779734zbMATH OpenFDO

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

Publication date 1987

zbMATH Keywords

broadcast communicationsdenotational semanticsnondeterministic broadcast networksreal-time programming

Mathematics Subject Classification ID

Theory of operating systems (68N25) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Semantics of nondeterministic asynchronous broadcast networks
• scientific article; zbMATH DE number 3902019
• scientific article; zbMATH DE number 4084987
• Semantics of finite and infinite networks of concurrent communicating agents
• scientific article; zbMATH DE number 3956422

Cited in

(4)

• Control machines: A new model of parallelism for compositional specifications and their effective compilation
• Static analysis of topology-dependent broadcast networks
• Semantics of nondeterministic asynchronous broadcast networks
• Broadcasting buffering communication

This page was built for publication:

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