Conditional Partial Order Graphs

@inproceedings{Mokhov2009ConditionalPO,
  title={Conditional Partial Order Graphs},
  author={Andrey Mokhov},
  year={2009}
}
This work presents a new formal model for specification and synthesis of microcontrol circuits. The model, called Conditional Partial Order Graph, captures concurrency and choice in a system’s behaviour in a compact and efficient way. It is especially beneficial for a class of systems which have many behavioural scenarios defined on the same set of primitive events or actions, e.g. CPU microcontrollers. The key feature of the model is its ability to specify systems in a compact functional form… CONTINUE READING
Highly Cited
This paper has 35 citations. REVIEW CITATIONS