Publication:4431372
From MaRDI portal
zbMath1023.68641MaRDI QIDQ4431372
Publication date: 22 October 2003
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
Related Items
Positive versions of polynomial time, Dynamic sequencing of robot moves in a manufactoring cell, Faster asynchronous systems., Zero-safe nets: Comparing the collective and individual token approaches., Decidability of split equivalence, Using heuristic search for finding deadlocks in concurrent systems