Skip to main content
SpringerLink
Log in

Processes in Space

  • Conference paper
Book cover Programs, Proofs, Processes (CiE 2010)

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

Included in the following conference series:

Abstract

We introduce a geometric process algebra based on affine geometry, with the aim of describing the concurrent evolution of geometric structures in 3D space. We prove a relativity theorem stating that algebraic equations are invariant under rigid body transformations.

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. Berry, G., Boudol, G.: The Chemical Abstract Machine. In: Proc. POPL 1989, pp. 81–94 (1989)

    Google Scholar 

  2. Cardelli, L., Gordon, A.D.: Mobile Ambients. In: Le Métayer, D. (ed.) Theoretical Computer Science, Special Issue on Coordination, vol. 240(1), pp. 177–213 (June 2000)

    Google Scholar 

  3. Coxeter, H.S.M.: Introduction to geometry. Wiley, Chichester (1961)

    MATH  Google Scholar 

  4. Fournet, C., Gonthier, G.: A Hierarchy of Equivalences for Asynchronous Calculi. In: Larsen, K.G., Skyum, S., Winskel, G. (eds.) ICALP 1998. LNCS, vol. 1443, pp. 844–855. Springer, Heidelberg (1998)

    Chapter  Google Scholar 

  5. Gallier, J.: Geometric Methods and Applications for Computer Science and Engineering. Springer, Heidelberg (2001)

    MATH  Google Scholar 

  6. Hennessy, M.: A Distributed Pi-Calculus. Cambridge University Press, Cambridge (2007)

    MATH  Google Scholar 

  7. Honda, K., Yoshida, N.: On Reduction-Based Process Semantics. Theoretical Computer Science 152(2), 437–486 (1995)

    Article  MathSciNet  Google Scholar 

  8. John, M., Ewald, R., Uhrmacher, A.M.: A Spatial Extension to the π Calculus. Electronic Notes in Theoretical Computer Science 194(3), 133–148 (2008)

    Article  Google Scholar 

  9. Metzger, R.J., Klein, O.D., Martin, G.R., Krasnow, M.A.: The branching programme of mouse lung development. Nature 453(5) (June 2008)

    Google Scholar 

  10. Milner, R.: Communicating and Mobile Systems: The π-Calculus. Cambridge University Press, Cambridge (1999)

    Google Scholar 

  11. Milner, R., Sangiorgi, D.: Barbed Bisimulation. In: Kuich, W. (ed.) ICALP 1992. LNCS, vol. 623, pp. 685–695. Springer, Heidelberg (1992)

    Google Scholar 

  12. Prusinkiewicz, P., Lindenmayer, A.: The Algorithmic Beauty of Plants. Springer, Heidelberg (1991)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Microsoft Research Cambridge,  

    Luca Cardelli

  2. Imperial College London,  

    Philippa Gardner

Authors
  1. Luca Cardelli
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Philippa Gardner
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Departamento de Matemática, Universidade de Lisboa, Campo Grande, Edifício C6, 1749-016, Lisboa, Portugal

    Fernando Ferreira

  2. Institute for Logic, Language and Computation (ILLC), Universiteit van Amsterdam, P.O. Box 94242, 1090, Amsterdam, GE, The Netherlands

    Benedikt Löwe

  3. Departamento de Informática e Ingeniería de Sistemas, Universidad de Zaragoza, María de Luna 1, 50018, Zaragoza, Spain

    Elvira Mayordomo

  4. Universidade dos Açores, Campus de Ponta Delgada, Apartado 1422, 9501-801, Ponta Delgada, Açores, Portugal

    Luís Mendes Gomes

Rights and permissions

Reprints and permissions

Copyright information

© 2010 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Cardelli, L., Gardner, P. (2010). Processes in Space. In: Ferreira, F., Löwe, B., Mayordomo, E., Mendes Gomes, L. (eds) Programs, Proofs, Processes. CiE 2010. Lecture Notes in Computer Science, vol 6158. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-13962-8_9

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-13962-8_9

  • Publisher Name: Springer, Berlin, Heidelberg

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

  • Online ISBN: 978-3-642-13962-8

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation