The algorithmic beauty of plants
The algorithmic beauty of plants
POPL '90 Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
On reduction-based process semantics
Selected papers of the thirteenth conference on Foundations of software technology and theoretical computer science
Communicating and mobile systems: the &pgr;-calculus
Communicating and mobile systems: the &pgr;-calculus
Theoretical Computer Science
Geometric methods and applications: for computer science and engineering
Geometric methods and applications: for computer science and engineering
ICALP '92 Proceedings of the 19th International Colloquium on Automata, Languages and Programming
A Hierarchy of Equivalences for Asynchronous Calculi
ICALP '98 Proceedings of the 25th International Colloquium on Automata, Languages and Programming
A Distributed Pi-Calculus
A Spatial Extension to the π Calculus
Electronic Notes in Theoretical Computer Science (ENTCS)
Visual analytics for stochastic simulation in cell biology
i-KNOW '11 Proceedings of the 11th International Conference on Knowledge Management and Knowledge Technologies
Osteoporosis: a multiscale modeling viewpoint
Proceedings of the 9th International Conference on Computational Methods in Systems Biology
Integrated regulatory networks (IRNs): Spatially organized biochemical modules
Theoretical Computer Science
Theoretical Computer Science
Multilevel Computational Modeling and Quantitative Analysis of Bone Remodeling
IEEE/ACM Transactions on Computational Biology and Bioinformatics (TCBB)
Linda in space-time: an adaptive coordination model for mobile ad-hoc environments
COORDINATION'12 Proceedings of the 14th international conference on Coordination Models and Languages
Approximate parallel sorting on a spatial computer
Proceedings of the 2012 ACM workshop on Relaxing synchronization for multicore and manycore scalability
Abstraction and invariance for algebraically indexed types
POPL '13 Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
CMC'12 Proceedings of the 13th international conference on Membrane Computing
BioScape: A Modeling and Simulation Language for Bacteria-Materials Interactions
Electronic Notes in Theoretical Computer Science (ENTCS)
Simulation of Spatial P system models
Theoretical Computer Science
Hi-index | 0.00 |
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.