A. Córdoba, J.J. Astrain, E. Frías, F. Fariña, and J.R. Garitagoitia (Spain)
Distributed Systems, Distributed Algorithms, Concurrent Algorithms, Simulation Tool, Algorithm Simulation, IO Automata, Assertional Reasoning.
DASET is a tool that simulates concurrent and distributed algorithms with a didactic purpose. The simulation of the algorithms is made in a centralized or distributed way. The generation of the algorithms is guided, and at every moment user controls the algorithm’s simulation process.
Important Links:
Go Back
