Structural Operational Semantics for Cellular Automata

Baltasar Trancón-y-Widemann. Structural Operational Semantics for Cellular Automata. In Georgios Ch. Sirakoulis, Stefania Bandini, editors, Cellular Automata - 10th International Conference on Cellular Automata for Research and Industry, ACRI 2012, Santorini Island, Greece, September 24-27, 2012. Proceedings. Volume 7495 of Lecture Notes in Computer Science, pages 184-193, Springer, 2012. [doi]

Abstract

Abstract is missing.