scientific article; zbMATH DE number 1995152

MaRDI QIDQ4431372zbMATH OpenFDO

Authors Wolfgang Reisig

Publication date 22 October 2003

Mathematics Subject Classification ID

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

Cited in

(6)

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

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4431372)