I O Automaton

#	Item
11	Hierarchical Correctness Proofs for Distributed Algorithms by Mark R. Tuttle B.S., University of Nebraska{Lincoln Add to Reading List Source URL: www.markrtuttle.com Language: English - Date: 2007-04-26 00:00:00 Theoretical computer science Applied mathematics Algorithm Mathematical logic Finite-state machine Actor model I/O Automaton Cellular automaton Models of computation Automata theory Computer science
12	PDF Document Add to Reading List Source URL: www.cs.sunysb.edu Language: English - Date: 2003-09-01 10:09:25 Applied mathematics Probabilistic automaton Finite-state machine I/O Automaton Markov chain Ω-automaton Automata theory Theoretical computer science Computer science