Abstract Geometrical Computation and signal machines

Concurrent Program Verification by Code Transformation: Correctness (2017)

A Visual Introduction to Abstract Geometrical Computation