User loginNavigation 
Global State Machines Inadequate (contra Dijkstra and Gurevich et. al.)Global State Machines are an inadequate foundation for computation (contra Dijkstra and Gurevich et. al.) A principle limitation relates to the inability of Global State Machines to represent concurrency. See What is computation? Actor Model versus Turing's Model Global State Machine References Andreas Blass, Yuri Gurevich, Dean Rosenzweig, and Benjamin Rossman (2007a) Interactive smallstep algorithms I: Axiomatization Logical Methods in Computer Science. 2007. Andreas Blass, Yuri Gurevich, Dean Rosenzweig, and Benjamin Rossman (2007b) Interactive smallstep algorithms II: Abstract state machines and the characterization theorem Logical Methods in Computer Science. 2007. Edsger Dijkstra. A Discipline of Programming Prentice Hall. 1976. Edsger Dijkstra and A.J.M. Gasteren. A Simple Fixpoint Argument Without the Restriction of Continuity Acta Informatica. Vol. 23. 1986. By Hewitt at 20130810 01:01  LtU Forum  previous forum topic  next forum topic  other blogs  4771 reads

Browse archivesActive forum topics 
Recent comments
4 days 8 hours ago
4 days 14 hours ago
5 days 6 hours ago
5 days 13 hours ago
5 days 15 hours ago
5 days 20 hours ago
6 days 1 hour ago
6 days 2 hours ago
6 days 5 hours ago
6 days 7 hours ago