Processes in space

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 6158 LNCS, Issue , 2010, Pages 78-87

  Cardelli, Luca ^a   Gardner, Philippa ^b  

^a MICROSOFT RESEARCH   (United Kingdom)

^b IMPERIAL COLLEGE LONDON   (United Kingdom)

Author keywords

Affine Geometry; Process Algebra

Indexed keywords

3-D SPACE; AFFINE GEOMETRIES; ALGEBRAIC EQUATIONS; GEOMETRIC PROCESS; GEOMETRIC STRUCTURE; RIGID BODY TRANSFORMATION;

COMPUTATIONAL GEOMETRY;

ALGEBRA;

EID: 77954869746     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-13962-8_9     Document Type: Conference Paper

References (12)

1. Berry, G., Boudol, G.: The Chemical Abstract Machine. In: Proc. POPL 1989, pp. 81-94 (1989)
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)
3. Coxeter, H.S.M.: Introduction to geometry. Wiley, Chichester (1961)
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)
5. Gallier, J.: Geometric Methods and Applications for Computer Science and Engineering. Springer, Heidelberg (2001)
6. Hennessy, M.: A Distributed Pi-Calculus. Cambridge University Press, Cambridge (2007)
7. Honda, K., Yoshida, N.: On Reduction-Based Process Semantics. Theoretical Computer Science 152(2), 437-486 (1995)
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)
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)
10. Milner, R.: Communicating and Mobile Systems: The π-Calculus. Cambridge University Press, Cambridge (1999)
11. Milner, R., Sangiorgi, D.: Barbed Bisimulation. In: Kuich, W. (ed.) ICALP 1992. LNCS, vol.623, pp. 685-695. Springer, Heidelberg (1992)
12. Prusinkiewicz, P., Lindenmayer, A.: The Algorithmic Beauty of Plants. Springer, Heidelberg (1991)