Article

Processes in space

Authors:

Luca Cardelli,

Philippa GardnerAuthors Info & Claims

CiE'10: Proceedings of the Programs, proofs, process and 6th international conference on Computability in Europe

Pages 78 - 87

Published: 30 June 2010 Publication History

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.

References

[1]

Berry, G., Boudol, G.: The Chemical Abstract Machine. In: Proc. POPL 1989, pp. 81-94 (1989).

Digital Library

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).

Digital Library

Google Scholar

[3]

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

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).

Digital Library

Google Scholar

[5]

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

Digital Library

Google Scholar

[6]

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

Digital Library

Google Scholar

[7]

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

Digital Library

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).

Digital Library

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).

Digital Library

Google Scholar

[11]

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

Digital Library

Google Scholar

[12]

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

Digital Library

Google Scholar

Cited By

View all

Audrito GViroli MDamiani FPianini DBeal J(2019)A Higher-Order Calculus of Computational FieldsACM Transactions on Computational Logic10.1145/328595620:1(1-55)Online publication date: 4-Jan-2019
https://dl.acm.org/doi/10.1145/3285956
Somogyi EGlazier J(2017)A modeling and simulation language for biological cells with coupled mechanical and chemical processesProceedings of the Symposium on Theory of Modeling & Simulation10.5555/3108905.3108919(1-12)Online publication date: 23-Apr-2017
https://dl.acm.org/doi/10.5555/3108905.3108919
Somogyi EHagar AGlazier JHuschka TChick S(2016)Towards a multi-scale agent-based programming language methodologyProceedings of the 2016 Winter Simulation Conference10.5555/3042094.3042256(1230-1240)Online publication date: 11-Dec-2016
https://dl.acm.org/doi/10.5555/3042094.3042256
Show More Cited By

Recommendations

Processes in space

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 ...
Note on Some Order Properties Related to Processes Semantics (I)
SPECIAL ISSUE ON TRAJECTORIES OF LANGUAGE THEORY Dedicated to the memory of Alexandru Mateescu

This note begins a study of some elementary properties related to the order structures applied in the algebraic approach to processes semantics. The support examples come from the partially additive semantics developed by Steenstrup (1985) and Manes and ...
Computing surface hyperbolic structure and real projective structure
SPM '06: Proceedings of the 2006 ACM symposium on Solid and physical modeling

Geometric structures are natural structures of surfaces, which enable different geometries to be defined on the surfaces. Algorithms designed for planar domains based on a specific geometry can be systematically generalized to surface domains via the ...

Comments

Information & Contributors

Information

Published In

CiE'10: Proceedings of the Programs, proofs, process and 6th international conference on Computability in Europe

June 2010

449 pages

ISBN:3642139612

Editors:
Fernando Ferreira
Universidade de Lisboa, Departamento de Matemática, Lisboa, Portugal
,
Benedikt Löwe
Universiteit van Amsterdam, Institute for Logic, Language and Computation, Amsterdam, The Netherlands
,
Elvira Mayordomo
Universidad de Zaragoza, Departamento de Informática e Ingeniería de Sistemas, Zaragoza, Spain
,
Luís Mendes Gomes
Universidade dos Açores, Ponta Delgada, Açores, Portugal

Publisher

Springer-Verlag

Berlin, Heidelberg

Publication History

Published: 30 June 2010

Author Tags

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

15
Total Citations
View Citations
0
Total Downloads

Downloads (Last 12 months)0
Downloads (Last 6 weeks)0

Reflects downloads up to 10 Aug 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Audrito GViroli MDamiani FPianini DBeal J(2019)A Higher-Order Calculus of Computational FieldsACM Transactions on Computational Logic10.1145/328595620:1(1-55)Online publication date: 4-Jan-2019
https://dl.acm.org/doi/10.1145/3285956
Somogyi EGlazier J(2017)A modeling and simulation language for biological cells with coupled mechanical and chemical processesProceedings of the Symposium on Theory of Modeling & Simulation10.5555/3108905.3108919(1-12)Online publication date: 23-Apr-2017
https://dl.acm.org/doi/10.5555/3108905.3108919
Somogyi EHagar AGlazier JHuschka TChick S(2016)Towards a multi-scale agent-based programming language methodologyProceedings of the 2016 Winter Simulation Conference10.5555/3042094.3042256(1230-1240)Online publication date: 11-Dec-2016
https://dl.acm.org/doi/10.5555/3042094.3042256
Steiniger AUhrmacher AZinn SGampe JWillekens FBuckley SMiller J(2014)The role of languages for modeling and simulating continuous-time multi-level models in demographyProceedings of the 2014 Winter Simulation Conference10.5555/2693848.2694224(2978-2989)Online publication date: 7-Dec-2014
https://dl.acm.org/doi/10.5555/2693848.2694224
Barbuti RMaggiolo-Schettini AMilazzo PPardini G(2014)Simulation of Spatial P system modelsTheoretical Computer Science10.1016/j.tcs.2013.08.002529(11-45)Online publication date: 1-Apr-2014
https://dl.acm.org/doi/10.1016/j.tcs.2013.08.002
Atkey RJohann PKennedy A(2013)Abstraction and invariance for algebraically indexed typesACM SIGPLAN Notices10.1145/2480359.242908248:1(87-100)Online publication date: 23-Jan-2013
https://dl.acm.org/doi/10.1145/2480359.2429082
Atkey RJohann PKennedy AGiacobazzi RCousot R(2013)Abstraction and invariance for algebraically indexed typesProceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages10.1145/2429069.2429082(87-100)Online publication date: 23-Jan-2013
https://dl.acm.org/doi/10.1145/2429069.2429082
Compagnoni ASharma VBao YLibera MSukhishvili SBidinger PBioglio LBonelli E(2013)BioScapeElectronic Notes in Theoretical Computer Science (ENTCS)10.1016/j.entcs.2013.02.017293(35-49)Online publication date: 1-Mar-2013
https://dl.acm.org/doi/10.1016/j.entcs.2013.02.017
Orhai MBlack ABlack AD'Hondt TKimelman DRinard MUngar D(2012)Approximate parallel sorting on a spatial computerProceedings of the 2012 ACM workshop on Relaxing synchronization for multicore and manycore scalability10.1145/2414729.2414739(61-66)Online publication date: 21-Oct-2012
https://dl.acm.org/doi/10.1145/2414729.2414739
Paoletti NLio PMerelli EViceconti M(2012)Multilevel Computational Modeling and Quantitative Analysis of Bone RemodelingIEEE/ACM Transactions on Computational Biology and Bioinformatics10.1109/TCBB.2012.519:5(1366-1378)Online publication date: 1-Sep-2012
https://dl.acm.org/doi/10.1109/TCBB.2012.51
Show More Cited By

View Options

View options

Get Access

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Abstract

References

Cited By

Recommendations