# ideas

* Event occurrence with Lamport and vector clocks  
* Print warning if protocol is not activated while making a protocol request  
* Splash screen  
* Allow simulations of arbitrary length  
* KeyEvent Manager  
* System snapshots?  
* Middleware layer?  
* Events that change process variables  
* Conditional events

## Protocols

* Voter sets according to Maekawa?  
* NFS  
* AFS