Return to Article Details A logic for synchronous transitions with dynamic conflict resolution Download Download PDF