Presheaf models for the π-calculus (1997)

by Ian Stark
Venue:In Proc. CTCS’97, volume 1290 of LNCS

Documents Related by Co-Citation

No related documents identified.