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  4645 reads

Browse archivesActive forum topics 
Recent comments
2 hours 8 min ago
12 hours 30 min ago
14 hours 27 min ago
22 hours 7 min ago
22 hours 10 min ago
22 hours 51 min ago
23 hours 10 min ago
1 day 7 hours ago
1 day 9 hours ago
1 day 10 hours ago