A sheaf theoretic model for concurrency (1986)

by L Monteiro, F Pereira
Venue:Proc. Logic in Computer Science (LICS’86