DASET: An Educational Tool for Concurrent and Distributed Algorithms Simulation

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