Structural and behavioural equivalences of networks

DOI10.1006/INCO.1993.1061zbMath0799.68132OpenAlexW1966603771MaRDI QIDQ1317434

Joachim Parrow

Publication date: 24 March 1994

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

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

zbMATH Keywords

behavioural semanticsalgebras of behavioursnetwork of synchronously communicating asynchronous processesstructural semantics

Mathematics Subject Classification ID

Network design and communication in computer systems (68M10) Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Semantics in the theory of computing (68Q55) General theory of computer systems (68M01)

Related Items (1)

Processes with multiple entries and exits

This page was built for publication: Structural and behavioural equivalences of networks