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