Presheaf Models for the pi-Calculus (1997)

by Gian Luca Cattani , Gian Luca Cattani , Ian Stark , Ian Stark , Glynn Winskel , Glynn Winskel
Citations:16 - 4 self

Documents Related by Co-Citation

123 Bisimulation from Open Maps – AndrĂ© Joyal, Mogens Nielsen, Mogens Nielsen, Glynn Winskel, Glynn Winskel - 1994
1418 A Calculus of Communicating Systems – R Milner - 1980
986 Categories for the Working Mathematician – Saunders Mac Lane - 1971
3430 Communication and Concurrency – R Milner - 1989
419 Category Theory for Computer Science – M Barr, C Wells - 1990
869 The semantics of a simple language for parallel programming – G Kahn - 1974
828 A calculus for cryptographic protocols: The spi calculus – Martin Abadi, Andrew D. Gordon - 1999
332 Calculi for synchrony and asynchrony – R Milner - 1993
700 Concurrency and automata on infinite sequences – D Park - 1981