Samson Abramsky, Simon Gay, Rajagopal Nagarajan  Home/Search
Context Related
| dcs.rhbnc.ac.uk/~simon/banff.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: Many different notions of "property of interest" and methods of verifying such properties arise naturally in programming. A general framework of "Specification Structures" is presented for combining different notions and methods in a coherent fashion. This is then applied to concurrency in the setting of Interaction Categories. (Update)
Context of citations to this paper: More
.... guarantee safety and liveness properties in the same way that traditional type systems guarantee safety in calling functions and procedures [AGN96] Challenge: Design usable, safe, and secure languages incorporating a well understood concurrency model. The need for such...
...procedure call, and both parties must agree about the expected nature of the dialogue. Our recent research on interaction categories [1, 2] has led to a framework for the design of sophisticated type systems which are able to specify communication protocols of this form....
Cited by: More
Specifying Interaction Categories - Pavlovi'c And Abramsky (Correct)
A Type-theoretic Approach to Deadlock-freedom of.. - Abramsky, Gay, Nagarajan (1997) (Correct)
Categorical Models for Concurrency: Independence, Fairness and.. - Hildebrandt (2000) (Correct)
Similar documents (at the sentence level):
11.1%: A Specification Structure for Deadlock-Freedom of.. - Abramsky, Gay, al. (1998) (Correct)
6.6%: Interaction Categories and the Foundations of Typed.. - Abramsky, Gay, Nagarajan (1995) (Correct)
Active bibliography (related documents): More All
0.4: In Proceedings of the 10th Annual IEEE Symposium on Logic in .. - Typed Calculus Of (Correct)
0.4: A Typed Calculus of Synchronous Processes - Gay, Nagarajan (1995) (Correct)
0.1: The Early Search for Tractable Ways of Reasoning About Programs - Jones (2003) (Correct)
Similar documents based on text: More All
0.3: Typed Concurrent Programs: Specification & Verification - Nagarajan (1998) (Correct)
0.2: in Interaction Categories - Simon Gay And (Correct)
0.1: Periodic Progress Report - Oct Ob Er (Correct)
Related documents from co-citation: More All
5: Linear Types for Communicating Processes (context) - Gay - 1995
5: Interaction categories and communicating sequential processes (context) - Abramsky - 1994
5: Categories for the Working Mathematician (context) - Lane - 1971
BibTeX entry: (Update)
S. Abramsky, S. Gay, and R. Nagarajan. Specification structures and propositions-as-types for concurrency. In F. Moller and G. Birtwistle, editors, Logics for Concurrency: Structure vs. Automata - Proceedings of the VIIIth Banff Higher Order Workshop. Springer-Verlag LNCS, 1995. http://citeseer.ist.psu.edu/abramsky95specification.html More
@inproceedings{ abramsky95specification,
author = "S.~Abramsky and S.~J.~Gay and R.~Nagarajan",
title = "Specification Structures and Propositions-as-Types for Concurrency",
booktitle = "Logics for Concurrency: Structure vs. Automata---Proceedings of the {VIIIth} Banff Higher Order Workshop",
publisher = "Springer-Verlag",
editor = "F.~Moller and G.~Birtwistle",
year = "1995",
url = "citeseer.ist.psu.edu/abramsky95specification.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) - Blute, coherence - 1993
982 Theoretical Computer Science (context) - Girard - 1987
562 Categories for the Working Mathematician (context) - Lane - 1971
216 Theoretical Computer Science (context) - Milner, synchrony - 1983
175 Games and full completeness for multiplicative linear logic - Abramsky, Jagadeesan - 1994
146 Investigations into logical deduction (context) - Gentzen - 1969
144 Full abstraction for PCF - Abramsky, Jagadeesan et al. - 1994
143 Logics of programs (context) - Kozen, Tiuryn - 1990
83 volume 7 of Cambridge Tracts in Theoretical Computer Science (context) - Girard, Lafont et al. - 1989
75 Annals of Pure and Applied Logic (context) - Abramsky, in - 1991
65 Universal Algebra (context) - Cohn - 1981
64 Perspectives in Mathematical Logic (context) - Soare, Sets - 1987
50 New foundations for the geometry of interaction - Abramsky, Jagadeesan - 1994
46 Relational parametricity and local variables (context) - O'Hearn, Tennent - 1993
44 Typability and type checking in the second-order -calculus a.. (context) - Wells - 1994
38 Interaction Categories and communicating sequential processe.. (context) - Abramsky - 1994
36 Interaction categories and foundations of typed concurrent p.. - Abramsky, Gay et al. - 1994
35 Cambridge University Press (context) - Crole, Types - 1994
33 Mathematical Theory of Program Correctness (context) - de Bakker - 1980
33 Deliverables: A categorical approach to program development .. - McKinna, Burstall - 1993
32 Mathematical Structures in Computer Science (context) - Barr, categories et al. - 1991
30 Interaction Categories (context) - Abramsky - 1993
30 Types and Structures : An introduction to category theory fo.. (context) - Asperti, Longo - 1991
29 Relational properties of recursively defined domains - Pitts - 1993
29 Theory and practice of sequential algorithms: the kernel of .. (context) - Berry, Curien - 1985
29 Coherence for compact closed categories (context) - Kelly, Laplaza - 1980
19 Theoretical Computer Science (context) - Abramsky, processes - 1994
13 Abstract interpretation (context) - Jones, Nielson - 1995
7 The quest for compositionality---a survey of assertion based.. (context) - de Roever - 1985
4 Interaction Categories I: Synchronous processes (context) - Abramsky - 1995
2 Available as theory/papers/Gay/thesis (context) - Gay, for et al. - 1995
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