D. Pavlovi'c and S. Abramsky  Home/Search
Context
Related
| web.comlab.ox.ac.uk/oucl/work/s...ap.ps 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: web.comlab.ox.ac.u...pubsthematic (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: We analyse two complementary methods for obtaining models of typed process calculi, in the form of interaction categories. These methods allow adding new features to previously captured notions of process and of type, respectively. By combining them, all familiar examples of interaction categories, as well as some new ones, can be built starting from some simple familiar categories. (Update)
Similar documents (at the sentence level):
75.6%: Specifying Interaction Categories - Pavlovic, Abramsky (1997) (Correct)
Active bibliography (related documents): More All
0.8: Convenient Category of Processes and Simulations I: Modulo.. - Pavlovic (1995) (Correct)
0.3: Quantum Computing: A new Paradigm and it's Type Theory - Wehr (1996) (Correct)
0.2: Categorical Glueing and Logical Predicates for Models of Linear.. - Hasegawa (1999) (Correct)
Similar documents based on text: More All
0.2: Categorical Logic Of Concurrency And Interaction. I: Synchronous .. - Pavlovic (1995) (Correct)
0.1: Extensions of Lipschitz maps into Hadamard spaces - Lang, Pavlovic, Schroeder (2000) (Correct)
0.1: Typed Concurrent Programs: Specification & Verification - Nagarajan (1998) (Correct)
BibTeX entry: (Update)
@misc{ pavlovi'c-specifying,
author = "Pavlovi'c And Abramsky",
title = "Specifying Interaction Categories",
url = "citeseer.ist.psu.edu/690745.html" }
Citations (may not include all citations):175 Games and full completeness for multiplicative linear logic - Abramsky, Jagadeesan
156 Basic Concepts of Enriched Category Theory (context) - Kelly - 1982
144 Full abstraction for PCF - Abramsky, Jagadeesan et al. - 1996
133 Cambridge Tracts in Theoretical Computer Science (context) - Girard, Types - 1989
66 What is a categorical model of intuitionistic linear logic - Bierman - 1995
51 autonomous categories and cofree coalgebras (context) - Seely, logic - 1989
36 Interaction categories and the foundations of the typed conc.. - Abramsky, Gay et al. - 1994
29 Coherence for compact closed categories (context) - Kelly, Laplaza - 1980
25 Revetements Etales et Groupe Fondamental (context) - Grothendieck, et et al. - 1971
22 Lecture Notes in Mathematics (context) - Barr, Categories - 1979
20 North-Holland Mathematical Library (context) - Freyd, Scedrov et al. - 1990
19 Introduction to bicategories (context) - B'enabou - 1967
14 Autonomous categories and linear logic (context) - Barr - 1991
12 Specification structures and propositions -as-types for conc.. - Abramsky, Gay et al. - 1996
11 Coalgebras and cartesian categories (context) - Fox - 1976
11 Avoiding the axiom of choice in general category theory (context) - Makkai
5 Unpublished note (context) - Fleury, Retor'e et al. - 1990
3 Categorical logic of concurrency and interaction - Pavlovi'c - 1994
2 Archive form Math (context) - Danos, Regnier et al. - 1989
2 a hand written note (context) - Street, functors - 1986
2 abstract of a talk given in Oberwolfach (context) - B'enabou, limits et al. - 1972
2 Convenient categories of processes and simulations I: modulo.. (context) - Pavlovi'c - 1995
1 Maps I: relative to a factorisation system (context) - Pavlovi'c - 1996
Documents on the same site (http://web.comlab.ox.ac.uk/oucl/work/samson.abramsky/pubsthematic.html): More
A Structural Approach to Reversible Computation - Abramsky (2001) (Correct)
Domain Theory - Corrected and expanded version - Abramsky, Jung (Correct)
Full Abstraction for PCF - Samson Abramsky University (1994) (Correct)
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