Marius Crisan's repositories
smart-coffee-maker
Reverse engineering over a DeLonghi ESAM 4000 to control it by Android app
GlobalStateSnapshot
Chandy-Lamport algorithm for snapshotting the global state of a distributed system
Petri-Net-Distributed-Simulator
A distributed and conservative Petri net simulator