Back to Results
First PageMeta Content
Programming 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 List

Document Date: 2010-09-22 05:54:39


Open Document

File Size: 863,58 KB

Share Result on Facebook
UPDATE