overview:cpog

Conditional Partial Order Graph

Conditional partial order graph is a formalism for specifying a collection of behavioural scenarios, and combining them into a compact graph representation using the optimal encoding. 1)

1) A.Mokhov, A.Yakovlev: “Conditional partial order graphs: model, synthesis and application”, IEEE Transactions on Computers, vol.59(11), pp.1480–1493, 2010.