scientific article; zbMATH DE number 1995152

zbMATH Open1023.68641MaRDI QIDQ4431372FDOQ4431372

Authors: Wolfgang Reisig 

Publication date: 22 October 2003

Title of this publication is not available (Why is that?)

Mathematics Subject Classification ID

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

Cited In (6)

• Decidability of split equivalence
• Positive versions of polynomial time
• Dynamic sequencing of robot moves in a manufactoring cell
• Zero-safe nets: Comparing the collective and individual token approaches.
• Faster asynchronous systems.
• 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)