Les distributeurs. Rapport nffi 33. Seminaires de Math'ematiques Pure, Institut de Math'ematiques, Universit'e Catholique de Louvain (1973)

by Jean B'enabou
Results 1 - 2 of 2

Presheaf Models for Concurrency

by Gian Luca Cattani , 1999
"... In this dissertation we investigate presheaf models for concurrent computation. Our aim is to provide a systematic treatment of bisimulation for a wide range of concurrent process calculi. Bisimilarity is defined abstractly in terms of open maps as in the work of Joyal, Nielsen and Winskel. Their wo ..."
Abstract - Cited by 43 (19 self) - Add to MetaCart
In this dissertation we investigate presheaf models for concurrent computation. Our aim is to provide a systematic treatment of bisimulation for a wide range of concurrent process calculi. Bisimilarity is defined abstractly in terms of open maps as in the work of Joyal, Nielsen and Winskel. Their work inspired this thesis by suggesting that presheaf categories could provide abstract models for concurrency with a built-in notion of bisimulation. We show how

Profunctors, open maps and bisimulation

by Gian Luca Cattani, Glynn Winskel - Mathematical Structures in Computer Science, To appear. Available from the Glynn Winskel’s web , 2000
"... ..."
Abstract - Cited by 10 (4 self) - Add to MetaCart
Abstract not found