Gian Luca Cattani, John Power, Glynn Winskel  Home/Search
Context Related
| brics.dk/Staff/cattani/catab.ps.gz daimi.aau.dk/ftp/BRICS/St...catab.ps.gz cl.cam.ac.uk/users/glc25/catab.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: cl.cam.ac.uk/~glc25/catab (more) From: daimi.aau.dk/ftp/BRICS/Staff/c... (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: . 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 processes, such as nondeterministic sum, prefixing and parallel composition are modelled using functors in the Kleisli category for the 2-monad T . We may define the notion of open map for any such 2-monad; in examples of interest, that agrees exactly with the usual notion of functional bisimulation.... (Update)
Context of citations to this paper: More
.... as a model of nondeterministic processes which supports a notion of bisimulation and as well extends to higher order [7, 12, 5, 4, 3, 10, 13, 6, 2]. At the start of this work, the paper [7] showed that the category of (labelled) event structures embedded fully and...
...colimits by a functor between presheaf categories is sufficient to ensure that it preserves open maps and bisimulation. Proposition 2. 3 [8] Let G : Q be any connected colimit preserving functor between presheaf categories. Then G preserves open maps and open map bisimulation....
Cited by: More
From Rewrite Rules to Bisimulation - Congruences Peter Sewell (Correct)
Presheaf Models and Process Calculi - Nygaard (2002) (Correct)
Presheaf semantics for HOPLA - Nygaard (2002) (Correct)
Similar documents (at the sentence level):
50.0%: A Categorical Axiomatics for Bisimulation - Cattani, Power, Winskel (1998) (Correct)
38.6%: Towards a Categorical Axiomatics of Bisimulation - Cattani, Power, Winskel (1999) (Correct)
Active bibliography (related documents): More All
0.6: A Theory of Recursive Domains with Applications to Concurrency .. - Cattani, al. (Correct)
0.3: A Linear Metalanguage for Concurrency - Winskel (1998) (Correct)
0.2: An Axiomatics for Categories of Coalgebras - Power, Watanabe (1998) (Correct)
Similar documents based on text: More All
1.3: Presheaf Models for CCS-like Languages - Cattani, Winskel (1999) (Correct)
1.1: Presheaf Models for Concurrency - Cattani, Winskel (1996) (Correct)
0.7: Basic Research in Computer Science - Profunctors Open Maps (Correct)
Related documents from co-citation: More All
16: Presheaf models for concurrency - Cattani, Winskel - 1997
8: Information and Computation (context) - Joyal, Nielsen et al. - 1996
8: A Calculus of Communicating Systems (context) - Milner - 1980
BibTeX entry: (Update)
G. L. Cattani, A.J. Power, and G. Winskel, A categorical axiomatics for bisimulation, In Proceedings of CONCUR '98, Lecture Notes in Computer Science 1466 (1998) 581-596. http://citeseer.ist.psu.edu/article/cattani98categorical.html More
@inproceedings{ cattani98categorical,
author = "Gian Luca Cattani and John Power and Glynn Winskel",
title = "A Categorical Axiomatics for Bisimulation",
booktitle = "International Conference on Concurrency Theory",
pages = "581-596",
year = "1998",
url = "citeseer.ist.psu.edu/article/cattani98categorical.html" }
Citations (may not include all citations):1933 Communication and concurrency (context) - Milner - 1989
562 Categories for the working mathematician (context) - Lane - 1971
156 Basic concepts of enriched category theory (context) - Kelly - 1982
150 The category-theoretic solution of recursive domain equation.. (context) - Smyth, Plotkin - 1982
109 Continuous lattices (context) - Scott - 1972
80 Handbook of Categorical Algebra (context) - Borceux - 1994
69 Information and Computation (context) - Joyal, Nielsen et al. - 1996
69 Triples and Theories (context) - Barr, Wells - 1985
58 Presheaf Models for Concurrency - Cattani, Winskel - 1997
35 Two-dimensional monad theory (context) - Blackwell, Kelly et al. - 1989
35 Monads for which structures are adjoint to units (context) - Kock - 1995
34 Bisimulation for higher-order process calculi - Sangiorgi - 1996
33 A completeness theorem for open maps (context) - Joyal, Moerdijk - 1994
27 A presheaf semantics of value-passing processes - Winskel - 1996
21 A Theory of Recursive Domains with Applications to Concurren.. - Cattani, Fiore et al.
10 Cahiers de Topologie et G'eom'etrie Diff'erentielle (context) - Street, Bicategories - 1980
9 Closed categories generated by commutative monads (context) - Kock - 1971
4 EACTS Bulletin (context) - Jacobs, Rutten et al. - 1997
4 On bisimulation for higher order processes (context) - Cattani, Winskel - 1998
3 A representation result for free cocompletions - Power, Cattani et al.
2 Presheaf Models for the ß-Calculus (context) - Cattani, Stark et al. - 1997
The graph only includes citing articles where the year of publication is known.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC