The following pages link to Flowgraphs and Flow Algebras (Q3854604):
Displaying 15 items.
- A multiset semantics for the pi-calculus with replication (Q672867) (← links)
- A language for linking modules into systems (Q1060558) (← links)
- Higher-level synchronising devices in Meije-SCCS (Q1079949) (← links)
- Algebraic calculi of processes and net expressions (Q1084852) (← links)
- About fair asynchrony (Q1085603) (← links)
- Proposition de semantique denotationnelle pour des réseaux de processus avec opérateur de melange équitable (Q1162807) (← links)
- Multisets and structural congruence of the pi-calculus with replication (Q1274455) (← links)
- A theory of processes with localities (Q1329198) (← links)
- CCS with Hennessy's merge has no finite-equational axiomatization (Q1763725) (← links)
- A brief history of process algebra (Q1781995) (← links)
- Toward an algebraic theory of systems (Q1786609) (← links)
- Infinite trees in normal form and recursive equations having a unique solution (Q3851585) (← links)
- Processes with multiple entries and exits (Q5055885) (← links)
- Algebras for Tree Decomposable Graphs (Q5100734) (← links)
- Structural inclusion in the pi-calculus with replication (Q5941195) (← links)