Samson Abramsky, Simon Gay, Rajagopal Nagarajan  Home/Search
Context Related
| dcs.rhbnc.ac.uk/~simon/mdorf.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: dcs.rhbnc.ac.uk/~simon/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: We propose Interaction Categories as a new paradigm for the semantics of functional and concurrent computation. Interaction categories have specifications as objects, processes as morphisms, and interaction as composition. We introduce two key examples of interaction categories for concurrent computation and indicate how a general axiomatisation can be developed. The upshot of our approach is that traditional process calculus is reconstituted in functorial form, and integrated with type theory ... (Update)
Cited by: More
A Categorical Semantics of Quantum Protocols - Samson Abramsky And (2004) (Correct)
High-Level Methods for Quantum Computation and Information - Samson Abramsky Oxford (Correct)
Specifying Interaction Categories - Pavlovi'c And Abramsky (Correct)
Active bibliography (related documents): More All
0.9: Specification Structures and Propositions-as-Types for.. - Abramsky, Gay, Nagarajan (1995) (Correct)
0.4: A Typed Calculus of Synchronous Processes - Gay, Nagarajan (1995) (Correct)
0.4: In Proceedings of the 10th Annual IEEE Symposium on Logic in .. - Typed Calculus Of (Correct)
Similar documents based on text: More All
0.8: A Type-theoretic Approach to Deadlock-freedom of Asynchronous .. - Samson Abramsky (1997) (Correct)
0.6: in Interaction Categories - Simon Gay And (Correct)
0.5: Case for Support: Novel type systems for concurrent programming.. - Gay (Correct)
Related documents from co-citation: More All
13: Categories for the Working Mathematician (context) - Lane - 1971
13: Communicating Sequential Processes (context) - Hoare - 1985
9: Communication and Concurrency (context) - Milner - 1989
BibTeX entry: (Update)
Samson Abramsky, Simon J. Gay, and R. Nagarajan. Interaction categories and the foundations of typed concurrent programming. In Deductive Program Design: Proceedings of the 1994 Marktoberdorf Summer School, NATO ASI Series F. Springer-Verlag, 1994. http://citeseer.ist.psu.edu/abramsky95interaction.html More
@inproceedings{ abramsky94interaction,
author = "Samson Abramsky and Simon J. Gay and R. Nagarajan",
title = "Interaction Categories and the Foundations of Typed Concurrent Programming",
booktitle = "Deductive Program Design: Proceedings of the 1994 Marktoberdorf Summer School, {NATO} {ASI} Series F",
publisher = "Springer-Verlag",
year = "1994",
url = "citeseer.ist.psu.edu/abramsky95interaction.html" }
Citations (may not include all citations):2732 Communicating Sequential Processes (context) - Hoare - 1985
1933 Communication and Concurrency (context) - Milner - 1989
1180 The Temporal Logic of Reactive and Concurrent Systems (context) - Manna, Pnueli - 1992
1074 The Definition of Standard ML (context) - Milner, Tofte et al. - 1990
982 Theoretical Computer Science (context) - Girard - 1987
562 Categories for the Working Mathematician (context) - Lane - 1971
359 Introduction to Higher Order Categorical Logic (context) - Lambek, Scott - 1986
322 volume 92 of Lecture Notes in Computer Science (context) - Milner, for et al. - 1980
259 Combinatory Logic (context) - Curry, Feys - 1958
233 Computational Interpretations of Linear Logic - Abramsky - 1993
233 The formulae-as-types notion of construction (context) - Howard - 1980
231 Information Processing Letters (context) - Alpern, Schneider - 1985
231 A theory of communicating sequential processes (context) - Brookes, Hoare et al. - 1984
216 Theoretical Computer Science (context) - Milner, synchrony - 1983
214 Domains for denotational semantics (context) - Scott - 1982
175 Games and full completeness for multiplicative linear logic - Abramsky, Jagadeesan - 1994
146 Investigations into logical deduction (context) - Gentzen - 1969
144 Models for concurrency - Winskel, Nielsen - 1995
137 Laboratory for Foundations of Computer Science (context) - Milner, Parrow et al. - 1989
128 Logic and Computation : Interactive proof with Cambridge LCF (context) - Paulson - 1987
125 Outline of a mathematical theory of computation (context) - Scott - 1970
95 A basis for a mathematical theory of computation - McCarthy - 1963
83 volume 7 of Cambridge Tracts in Theoretical Computer Science (context) - Girard, Lafont et al. - 1989
80 Review of the elements of 2-categories (context) - Kelly, Street - 1974
77 Type Theory and Functional Programming (context) - Thompson - 1991
62 Programming in Martin-Lof's Type Theory: An Introduction (context) - Nordstrom, Petersson et al. - 1990
58 Algebraically complete categories (context) - Freyd - 1990
52 A modal process logic (context) - Larsen, Thomsen - 1988
50 New foundations for the geometry of interaction - Abramsky, Jagadeesan - 1994
41 Center for the Study of Language and Information (context) - Aczel, CSLI - 1988
41 Annals of Pure and Applied Logic (context) - Jacobs, weakening - 1994
38 Interaction Categories and communicating sequential processe.. (context) - Abramsky - 1994
36 Higher-level synchronising devices in meije-SCCS (context) - de Simone - 1985
35 Cambridge University Press (context) - Crole, Types - 1994
32 Receptive process theory (context) - Josephs - 1992
30 Interaction Categories (context) - Abramsky - 1993
28 ebres de processus et synchronisations (context) - Austry, Boudol - 1984
28 Intuitionistic Type Theory (context) - Martin-Lof - 1984
26 volume 26 of Graduate Texts in Mathematics (context) - Manes - 1976
25 Synchronous programming of reactive systems: An introduction.. (context) - Berry, Couronn'e et al. - 1986
24 Mathematical Structures in Computer Science (context) - Abramsky, Vickers et al. - 1993
23 Progress in Theoretical Computer Science (context) - Curien, Sequential et al. - 1993
21 A finite delay operator in synchronous ccs (context) - Milner - 1982
21 Comparative Concurrency Semantics and Refinement of Actions (context) - van Glabbeek - 1990
20 A model for communicating sequential processes (context) - Hoare - 1980
19 Multicategories revisited (context) - Lambek - 1989
19 Theoretical Computer Science (context) - Abramsky, processes - 1994
19 A typed calculus of synchronous processes - Gay, Nagarajan - 1995
18 volume 39 of North-Holland Mathematical Library (context) - Freyd, Scedrov et al. - 1990
15 Algebra and models (context) - Hoare - 1993
9 Modelling finite delay operators (context) - Hennessy - 1983
7 Number 78 in Lecture Notes in Computer Science (context) - Gordon, Milner et al. - 1979
4 Interaction Categories I: Synchronous processes (context) - Abramsky - 1995
3 Modelling Signal in Interaction Categories (context) - Gay, Nagarajan - 1993
2 Available as theory/papers/Gay/thesis (context) - Gay, for et al. - 1995
1 Interaction Categories: Illustrative examples (context) - Abramsky, Gay et al. - 1993
1 Axiomatising finite delay operators (context) - Hennessy - 1982
1 Interaction Categories II: Asynchronous processes (context) - Abramsky - 1994
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.dcs.rhbnc.ac.uk/~simon/): More
A Specification Structure for Deadlock-Freedom of.. - Abramsky, Gay, al. (1998) (Correct)
A Sort Inference Algorithm for the Polyadic - Calculus Simon (Correct)
in Interaction Categories - Simon Gay And (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