DMCA

Concurrent Programming as Proof Net Construction (1997)

Cached

Download Links

by G. Perrier
Venue:Mathematical Structures in Computer Science
Citations:3 - 0 self