Presheaf Models for Concurrency

Presheaf Models for Concurrency (1999)

by Gian Luca Cattani

Citations:

43 - 19 self

User correction supplied by mph

Datum	Value	Source
TITLE	Presheaf Models for Concurrency	SVM HeaderParse 0.2
AUTHOR NAME	Gian Luca Cattani	user correction
AUTHOR AFFIL	Department of Computer Science; University of Aarhus	user correction
AUTHOR ADDR	Denmark	user correction
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	user correction
YEAR	1999	SVM HeaderParse 0.2
VENUE TYPE	CONFERENCE	INFERENCE
PAGES	58--75	INFERENCE
TECH	PhD thesis	INFERENCE
CITATIONS	137 found	ParsCit 1.0