Deriving graphical representations of process networks from algebraic expressions
References (8)
- et al.
Introduction to the ISO specification language LOTOS
Comput. Networks ISDN Systems
(1987) A graphical composition theorem for networks of LOTOS processes
LOTOS — A Formal Description Technique Based on the Temporal Ordering of Observational Behaviour
(1989)- et al.
Process topology diagrams
There are more references available in the full text version of this article.
Cited by (2)
Composing event constraints in state-based specification
2004, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)Regrouping parallel processes
1996, Formal Methods in System Design
Copyright © 1993 Published by Elsevier B.V.