Outline of a Sheaf-theoretic Approach to Concurrency (1986)

by L F Monteiro, F C N Pereira
Venue:Proc. IEEE Symp. on Logic in Computer Science