## Presheaf Models for Concurrency (1999)

### Cached

### Download Links

- [www.brics.dk]
- [www.brics.dk]
- [www.brics.dk]
- [www.brics.dk]
- [www.brics.dk]
- [www.daimi.aau.dk]
- [www.brics.dk]
- [www.brics.dk]
- DBLP

### Other Repositories/Bibliography

by
Gian Luca Cattani

Citations: | 45 - 19 self |

### BibTeX

@INPROCEEDINGS{Cattani99presheafmodels,

author = {Gian Luca Cattani},

title = {Presheaf Models for Concurrency},

booktitle = {},

year = {1999},

pages = {58--75},

publisher = {Springer-Verlag}

}

### OpenURL

### Abstract

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