Geometry and concurrency: A user’s guide (2000)

by E Goubault
Venue:Mathematical Structures in Computer Science