C B Jones  Home/Search
Context
Related
| cs.ncl.ac.uk/research/pubs/in...504.pdf Cached: 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.
PS.gz PS Image Update HelpFrom: cs.ncl.ac.uk/resear...listing.php (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: This paper reviews some of the research on reasonning about --and limiting-- interference. It can be argued that there is as yet no entirely satisfactory compositional method and another purpose of the paper is to expose the author's prejudices as to likely attributes of a useful method (Update)
Active bibliography (related documents): More All
1.5: Thinking Tools for the Future of Computing Science - Jones (2000) (Correct)
0.7: A Formal Basis for Some Dependability Notions - Jones (2003) (Correct)
0.5: An Object-Based Design Method for Concurrent Programs - Jones (1992) (Correct)
Similar documents based on text: More All
0.1: Main Publications - Jones (2000) (Correct)
0.1: Wallflower: Principles and Practice of Background Maintenance - Kentaro Toyama John (1999) (Correct)
0.0: Connected and Internal Graph Searching - Barriere, Fraigniaud, Santoro.. (Correct)
BibTeX entry: (Update)
@misc{ jones-compositionality,
author = "C B Jones",
title = "Compositionality, Inference and Concurrency",
url = "citeseer.ist.psu.edu/jones00compositionality.html" }
Citations (may not include all citations):906 A structural approach to operational semantics - Plotkin - 1981
854 Information and Computation (context) - Milner, Parrow et al. - 1992
208 An axiomatic proof technique for parallel programs (context) - Owicki, Gries - 1976
208 Axiomatic Proof Techniques for Parallel Programs (context) - Owicki - 1975
146 A powerdomain construction (context) - Plotkin - 1976
100 Islands: Aliasing protection in object-oriented languages (context) - Hogg - 1991
62 Issues in the design of a parallel object-oriented language (context) - America - 1989
35 Development Methods for Computer Programs including a Notion.. (context) - Jones - 1981
35 Data Refinement: ModelOriented Proof Methods and Their Compa.. (context) - de Roever, Engelhardt - 1999
32 Full abstraction for a shared-variable parallel language - Brookes - 1996
24 Design of Compositional Proof Systems Based on Assumption-Co.. (context) - Collette - 1994
19 A layered semantics for a parallel object-oriented language (context) - America, Rutten - 1992
15 On transformations of concurrent-object programs (context) - Philippou, Walker - 1998
14 Constraining interference in an object-based design method (context) - Jones - 1993
14 Development of Parallel Programs on Shared DataStructures (context) - Stlen - 1990
13 A Parallel Object-Oriented Language: Design and Semantic Fou.. (context) - America, Rutten - 1989
10 Non-interference properties of a concurrent object-based lan.. (context) - Hodges, Jones - 1996
7 A generalisation of Owicki-Gries's Hoare logic for a concurr.. (context) - Stirling - 1988
6 A Theory of State-based Parallel Programming (context) - Xu - 1992
4 Process algebra arguments about an object-based design notat.. (context) - Jones - 1994
4 calculus at work: a correctness proof of Jones's parallelisa.. (context) - Sangiorgi - 1999
3 Systematic Parallel Programming (context) - Dingel - 1999
3 Enhancing tractability relyguarantee specification developme.. (context) - Collette, Enhancing et al. - 2000
2 Scientific decisions which characterize VDM (context) - Jones - 1999
1 Compositional Development Methods for Interfering Object-Bas.. (context) - Hodges - 1996
Documents on the same site (http://www.cs.ncl.ac.uk/research/pubs/inproceedings/listing.php): More
Metabroker: A Generic Broker for Electronic Commerce - Caughey, Ingham, Watson (1998) (Correct)
The Design and Implementation of a Framework for Configurable .. - Wheater, Little (1996) (Correct)
Dependability and Its Threats: A Taxonomy - Avizienis, Laprie, Randell (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