publication venue for Context-based process algebras for mobility 2004 Equivalence verification of timed transition models 2004 Logic synthesis for asynchronous circuits based on Petri net unfoldings and incremental SAT 2004
