Luís Monteiro Fernando C. N. Pereira A Sheaf-Theoretic Model of Concurrency 66-76 conf/lics/LICS1 1986 LICS db/conf/lics/lics86.html#MonteiroP86