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)
CiE'10 Proceedings of the Programs, proofs, process and 6th international conference on Computability in Europe
An Algorithm for the Identification of Components in Biochemical Pathways
Electronic Notes in Theoretical Computer Science (ENTCS)
Hi-index | 5.23 |
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.