Gian Luca Cattani, Marcelo P. Fiore
We generalise the traditional approach of Smyth and Plotkin to the solution of recursive domain equations from order-enriched structures to bicategorical ones and thereby develop a bicategorical...
A Theory of Recursive Domains with Applications to Concurrency (2007)
Exte Nd Ed, Gian Luca Cattani, Marcelo Fiore, Glynn Winskel
) Gian Luca Cattani 1 , Marcelo Fiore 2; , Glynn Winskel 1 1 BRICS y , University of Aarhus, Denmark 2 COGS, University of Sussex, UK Abstract We develop a 2-categorical theory for recursively...
Presheaf Models for the-Calculus (2007)
Gian Luca Cattani, Gian Luca Cattani, Ian Stark, Ian Stark, Glynn Winskel, Glynn Winskel
is permitted for educational or research use on condition that this copyright notice is included in any copy. See back inner page for a list of recent BRICS Report Series publications. Copies may be...
A Representation Result for Free (2007)
Free Cocompletions, Gian Luca Cattani, Glynn Winskel, John Power, John Power
et al.: A
Marcelo P. Fiore, Marcelo P. Fiore, Marcelo Fiore, Gian Luca Cattani, Gian Luca Cattani, Gian Luca Cattani, ...
et al.:
Gian Luca Cattani, Marcelo Fiore, Glynn Winskel
We develop a 2-categorical theory for recursively defined domains. In particular, we generalise the traditional approach based on order-theoretic structures to categorytheoretic ones. A motivation...
Basic Research in Computer Science (2004)
Profunctors Open Maps, Gian Luca Cattani, Glynn Winskel, Copyright C, Gian Luca Cattani, Glynn Winskel, ...
This paper studies fundamental connections between profunctors (i.e., distributors, or bimodules), open maps and bisimulation. In particular, it proves that a colimit preserving functor between...
This document in subdirectoryRS/04/22/ Profunctors, Open Maps and Bisimulation ∗ (2004)
Gian Luca Cattani, Glynn Winskel, Copyright C, Gian Luca Cattani, Glynn Winskel, Gian Luca Cattani, ...
Reproduction of all or part of this work is permitted for educational or research use on condition that this copyright notice is included in any copy. See back inner page for a list of recent BRICS...
Models for name-passing processes: interleaving and causal (2000)
Gian Luca Cattani, Peter Sewell
We study syntax-free models for name-passing processes. For interleaving semantics, we identify the indexing structure required of an early labelled transition system to support the usual -calculus...
Contexts and Embeddings for Closed Shallow Action Graphs (2000)
Gian Luca Cattani, James J. Leifer, Robin Milner
: Action calculi, which have a graphical presentation, were introduced to develop a theory shared among different calculi for interactive systems. The -calculus, the -calculus, Petri nets, the...
Models for Name-Passing Processes: Interleaving and Causal (Extended Abstract) (2000)
Gian Luca Cattani, Peter Sewell
We study syntax-free models for name-passing processes. For interleaving semantics, we identify the indexing structure required of an early labelled transition system to support the usual...
Models for name-passing processes: interleaving and causal (2000)
Gian Luca Cattani, Peter Sewell
We study syntax-free models for name-passing processes. For interleaving semantics, we identify the indexing structure required of an early labelled transition system to support the usual π-calculus...
Presheaf Models for Concurrency (1999)
Gian Luca Cattani, Gian Luca Cattani
To my parents, Dora and Gian CarloAbstractIn this dissertation we investigate presheaf models for concurrent computation. Our aim is to provide a systematic treatment of bisimulation for a wide range...
Presheaf Models for Concurrency (Unrevised (1999)
Gian Luca Cattani, Gian Luca Cattani, Gian Luca Cattani
Copyright c
Presheaf models for CCS-like languages (1999)
Glynn Winskel, Glynn Winskel, Gian Luca Cattani, Gian Luca Cattani, Gian Luca Cattani
for
Presheaf Models for Concurrency (1999)
Gian Luca Cattani, Gian Luca Cattani, Glynn Winskel, Glynn Winskel
is permitted for educational or research use on condition that this copyright notice is included in any copy. See back inner page for a list of recent publications in the BRICS Report Series. Copies...
Towards a Categorical Axiomatics of Bisimulation (1999)
Gian Luca Cattani, A. John Power, Glynn Winskel
We give an axiomatic category theoretic account of bisimulation in process algebras based on the idea of functional bisimulations as open maps. The axiomatisation centres on 2-monads, T , on Cat....
Weak Bisimulation and Open Maps (Extended Abstract) (1999)
Marcelo Fiore, Gian Luca Cattani, Glynn Winskel
) In Proceedings of LICS '99, c IEEE Computer Society Marcelo Fiore COGS University of Sussex, UK Gian Luca Cattani Computer Laboratory University of Cambridge, UK Glynn Winskel BRICS y...
A Representation Result for Free Cocompletions (1999)
A. John Power, Gian Luca Cattani, Glynn Winskel
Given a class F of weights, one can consider the construction that takes a small category C to the free cocompletion of C under weighted colimits, for which the weight lies in F . Provided these free...
Gian Luca Cattani, Glynn Winskel, Copyright C, Gian Luca Cattani, Glynn Winskel, Gian Luca Cattani, ...
Reproduction of all or part of this work is permitted for educational or research use on condition that this copyright notice is included in any copy. See back inner page for a list of recent BRICS...
Marcelo P. Fiore, Gian Luca Cattani, Glynn Winskel, Copyright C, Marcelo P. Fiore, Gian Luca Cattani, ...
Reproduction of all or part of this work is permitted for educational or research use on condition that this copyright notice is included in any copy. See back inner page for a list of recent BRICS...
Presheaf Models for Concurrency (1999)
Gian Luca Cattani, Gian Luca Cattani, Glynn Winskel, Glynn Winskel
is permitted for educational or research use on condition that this copyright notice is included in any copy. See back inner page for a list of recent publications in the BRICS Report Series. Copies...
A theory of recursive domains with applications to concurrency (1998)
Gian Luca Cattani, Marcelo P. Fiore, Glynn Winskel
et al.: A
A categorical axiomatics for bisimulation (1998)
John Power, Glynn Winskel, Gian Luca Cattani, Gian Luca Cattani
et al.: A
A Categorical Axiomatics for Bisimulation (1998)
Gian Luca Cattani, John Power, Glynn Winskel
. We give an axiomatic category theoretic account of bisimulation in process algebras based on the idea of functional bisimulations as open maps. We work with 2-monads, T , on Cat. Operations on...
This document in subdirectoryRS/98/22/ A Categorical Axiomatics for Bisimulation (1998)
Gian Luca Cattani, John Power, Glynn Winskel, Gian Luca Cattani, John Power, Glynn Winskel
Reproduction of all or part of this work is permitted for educational or research use on condition that this copyright notice is included in any copy. See back inner page for a list of recent BRICS...
This document in subdirectoryRS/98/21/ A Representation Result for Free (1998)
Free Cocompletions, John Power, Gian Luca Cattani, Glynn Winskel, John Power, Gian Luca Cattani, ...
Reproduction of all or part of this work is permitted for educational or research use on condition that this copyright notice is included in any copy. See back inner page for a list of recent BRICS...
Presheaf Models for the pi-Calculus (1997)
Gian Luca Cattani, Ian Stark, Glynn Winskel
Recent work has shown that presheaf categories provide a general model of concurrency, with an inbuilt notion of bisimulation based on open maps. Here it is shown how this approach can also handle...
Presheaf Models for Concurrency (1997)
Gian Luca Cattani, Glynn Winskel
This paper studies presheaf models for concurrent computation. An aim is to harness the general machinery around presheaves for the purposes of process calculi. Traditional models like...
Presheaf Models for the π-Calculus (1997)
Gian Luca Cattani, Ian Stark, Glynn Winskel
Recent work has shown that presheaf categories provide a general model of concurrency, with an inbuilt notion of bisimulation based on open maps. Here it is shown how this approach can also handle...
Gian Luca Cattani, Marcelo P. Fiore, Glynn Winskel, Gian Luca Cattani, Marcelo Fiore, Glynn Winskel
Reproduction of all or part of this work is permitted for educational or research use on condition that this copyright notice is included in any copy. See back inner page for a list of recent BRICS...
This document in subdirectoryRS/97/34/ Presheaf Models for the π-Calculus (1997)
Gian Luca Cattani, Ian Stark, Glynn Winskel, Gian Luca Cattani, Ian Stark, Glynn Winskel
Reproduction of all or part of this work is permitted for educational or research use on condition that this copyright notice is included in any copy. See back inner page for a list of recent BRICS...
Higher dimensional transition systems (1996)
We introduce the notion of higher dimensional transition systems as a model of concurrency providing an elemen-tary, set-theoretic formalisation of the idea of higher di-mensional transition. We show...
Higher Dimensional Transition Systems (1996)
Gian Luca Cattani, Vladimiro Sassone
We introduce the notion of higher dimensional transition systems as a model of concurrency providing an elementary, set-theoretic formalisation of the idea of higher dimensional transition. We show...
A Representation Result for Free Cocompletions
John Power Gian, A. John Power, Gian Luca Cattani, Glynn Winskel
Given a class F of weights, one can consider the construction that takes a small category C to the free cocompletion of C under weighted colimits, for which the weight lies in F . Provided these free...