Modelling and verification of concurrent algorithms with Petri Nets
Synthesis of instruction decoder using Conditional Partial Order Graphs
Specification and synthesis of speed-independent controllers from Signal Transition Graphs
Modelling self-timed pipelines using Dataflow Structures