scientific article; zbMATH DE number 1995152

zbMath1023.68641MaRDI QIDQ4431372

Wolfgang Reisig

Publication date: 22 October 2003

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (6)

Faster asynchronous systems. ⋮ Positive versions of polynomial time ⋮ Using heuristic search for finding deadlocks in concurrent systems ⋮ Zero-safe nets: Comparing the collective and individual token approaches. ⋮ Decidability of split equivalence ⋮ Dynamic sequencing of robot moves in a manufactoring cell

This page was built for publication: