First Page | Document Content | |
---|---|---|
Date: 2010-09-22 05:54:39Programming language theory Fault-tolerant computer systems Models of computation ALGOL 68 Consensus I/O Automaton Finite-state machine Computing Software engineering Automata theory | On the Automated Implementation of Time-based Paxos Using the IOA Compiler ∗ Chryssis Georgiou† Procopis Hadjiprocopiou‡Add to Reading ListSource URL: www.cs.ucy.ac.cyDownload Document from Source WebsiteFile Size: 863,58 KBShare Document on Facebook |