vix.ing · top · new · best · stats · spec

Joachim Wehler

  1. Free Choice Petri Nets without frozen tokens and Bipolar Synchronization Systems
    2006/09/17 by Joachim Wehler, Wehler, Joachim · 1 citation
    Computer Science · #D.2.2 #Distributed systems and fault tolerance #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Petri Nets in System Modeling #cs.LO