Skip to main content
SpringerLink
Log in

Structural Operational Semantics for Cellular Automata

  • Conference paper
Cellular Automata (ACRI 2012)

Part of the book series: Lecture Notes in Computer Science ((LNTCS,volume 7495))

Included in the following conference series:

  • 2785 Accesses

Abstract

The structural operational semantics approach to the dynamic meaning of formal models has been immensely influential as a foundation of both theoretical calculi and practical programming languages, and is a viable alternative to automata-oriented approaches. We report on an effort to apply the approach to cellular automata, in particular of the two-dimensional, regular finite grid kind that underlies many agent-based simulation models. We summarize previous, intensively category-theoretic work in more general terms, and discuss how various interesting properties are made (more) explicit by the semantical analysis of cellular automata in terms of novel mathematical structures.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Capobianco, S., Uustalu, T.: A categorical outlook on cellular automata. In: Kari, J. (ed.) Proceedings 2nd Symposium on Cellular Automata (JAC 2010), pp. 88–99. Turku Center for Computer Science (2010)

    Google Scholar 

  2. Jaskelioff, M., Ghani, N., Hutton, G.: Modularity and implementation of mathematical operational semantics. Electronic Notes in Theoretical Computer Science 229(5), 75–95 (2011)

    Article  MathSciNet  Google Scholar 

  3. Klin, B.: Bialgebras for structural operational semantics: an introduction. Theoretical Computer Science 412(38), 5043–5069 (2011)

    Article  MathSciNet  MATH  Google Scholar 

  4. Moggi, E.: Notions of computation and monads. Information and Computation 93(1), 55–92 (1991)

    Article  MathSciNet  MATH  Google Scholar 

  5. Plotkin, G.D.: A structural approach to operational semantics. Tech. Rep. DAIMI FN-19, Computer Science, Aarhus University, Denmark (1981)

    Google Scholar 

  6. Plotkin, G.D.: The origins of structural operational semantics. J. Log. Algebr. Program, 60–61, 3–15 (2004)

    Google Scholar 

  7. Rutten, J.: Universal coalgebra: a theory of systems. Theoretical Computer Science 249(1), 3–80 (2000)

    Article  MathSciNet  MATH  Google Scholar 

  8. Trancón y Widemann, B., Hauhs, M.: Distributive-Law Semantics for Cellular Automata and Agent-Based Models. In: Corradini, A., Klin, B., Cîrstea, C. (eds.) CALCO 2011. LNCS, vol. 6859, pp. 344–358. Springer, Heidelberg (2011)

    Chapter  Google Scholar 

  9. Turi, D., Plotkin, G.D.: Towards a mathematical operational semantics. In: Proceedings 12th International Conference on Logic in Computer Science (LICS 1997), pp. 280–291. IEEE (1997)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Computer Science & Ecological Modelling, University of Bayreuth, Germany

    Baltasar Trancón y. Widemann

Authors
  1. Baltasar Trancón y. Widemann
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Department of Electrical and Computer Engineering, Laboratory of Electronics, Democritus University of Thrace, GR 67100, Xanthi, Greece

    Georgios Ch. Sirakoulis

  2. CSAI - Complex Systems and Artificial Intelligence Research Center, University of Milano-Bicocca, 20134, Milano, Italy

    Stefania Bandini

Rights and permissions

Reprints and permissions

Copyright information

© 2012 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Widemann, B.T.y. (2012). Structural Operational Semantics for Cellular Automata. In: Sirakoulis, G.C., Bandini, S. (eds) Cellular Automata. ACRI 2012. Lecture Notes in Computer Science, vol 7495. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-33350-7_19

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-33350-7_19

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-33349-1

  • Online ISBN: 978-3-642-33350-7

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation