The Extended Finite State Machine and Fault Tolerant Mechanism in Distributed Systems - Shengfa Gao; Xin Li; Ruihua Zhang (7th ACIS International Conference on Software Engineering Research, Management and Applications (SERA2009) : proceedings, December 2-4, 2009, Haikou, China, 2009)
Keywords: Automata; checkpoint; Clocks; Computer aided instruction; Computer science; Conference management; Events classification; Extended Finite State Machine; Fault tolerant systems; Mathematical model; Mathematics; Software engineering; Synchronization