Deriving graphical representations of process networks from algebraic expressions

DOI10.1016/0020-0190(93)90067-JzbMath0778.68062MaRDI QIDQ685510

Tommaso Bolognesi

Publication date: 17 October 1993

Published in: Information Processing Letters (Search for Journal in Brave)

zbMATH Keywords

distributed systemsspecification languagesprocess algebras

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Specification and verification (program logics, model checking, etc.) (68Q60)

Uses Software

• Unnamed Item

Cites Work

• Concurrent Processes and Their Syntax
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Deriving graphical representations of process networks from algebraic expressions