On the public citation graph

Reasoning about interference in an object-based design method

https://doi.org/10.1007/bfb0024634
0 signed · 51 inferred · view as graph

Inferred edges come from two machine sources: sweeps of open repository metadata (mostly SSRN and Zenodo), and a bulk OpenAlex citation snapshot. Every row below is labelled with the one it came from. Neither is a complete citation index — absence here is not evidence of absence.

Is this your work? Sign in with ORCID and put your name on the claims that are yours.
Claim with ORCID
Reference health. See whether every reference in this work resolves to a known work and none has been retracted — and get a dated CiteStamped badge you can embed.
See reference health

What this work says

Outgoing claims: the papers this work cites, builds on, or argues with.

inferredcites →https://doi.org/10.1007/3-540-16042-6_21openalex-snapshot
A proof technique for rely/guarantee properties
inferredcites →https://doi.org/10.1007/3-540-16761-7_90openalex-snapshot
A compositional reformulation of Owicki-Gries's partial correctness logic for a concurrent while language
inferredcites →https://doi.org/10.1007/3-540-50214-9openalex-snapshot
VDM '88 VDM — The Way Ahead
inferredcites →https://doi.org/10.1007/3-540-50214-9_27openalex-snapshot
Using VDM with rely and guarantee-conditions
inferredcites →https://doi.org/10.1007/3-540-54430-5openalex-snapshot
Concur 91: 2nd International Conference on Concurrency Theory Amsterdam, the Netherlands, August 26-29, 1991 : Proceedings
inferredcites →https://doi.org/10.1007/3-540-54430-5_110openalex-snapshot
A method for the development of totally correct shared-state parallel programs
inferredcites →https://doi.org/10.1007/3-540-54834-3openalex-snapshot
VDM'91 Formal Software Development Methods
inferredcites →https://doi.org/10.1007/3-540-54834-3_20openalex-snapshot
An attempt to reason about shared-state concurrency in the style of VDM
inferredcites →https://doi.org/10.1007/3-540-56610-4_61openalex-snapshot
Constraining interference in an object-based design method
inferredcites →https://doi.org/10.1007/3-540-56610-4_67openalex-snapshot
Application of the composition principle to unity-like specifications
inferredcites →https://doi.org/10.1007/3-540-57208-2_12openalex-snapshot
A pi-calculus semantics for an object-based design notation
inferredcites →https://doi.org/10.1007/978-1-4471-3540-1_5openalex-snapshot
Interference Revisited
inferredcites →https://doi.org/10.1007/978-1-4471-3756-6_15openalex-snapshot
A Theory of State-based Parallel Programming: Part 1
inferredcites →https://doi.org/10.1007/978-1-4612-2704-5openalex-snapshot
Larch: Languages and Tools for Formal Specification
inferredcites →https://doi.org/10.1007/978-1-4612-4476-9_10openalex-snapshot
On Bounded Buffers: Modularity, Robustness, and Reliability in Reactive Systems
inferredcites →https://doi.org/10.1007/978-1-4613-9668-0_6openalex-snapshot
Parallel Program Design
inferredcites →https://doi.org/10.1007/bf00268134openalex-snapshot
An axiomatic proof technique for parallel programs I
inferredcites →https://doi.org/10.1007/bf00289074openalex-snapshot
A proof method for cyclic programs
inferredcites →https://doi.org/10.1007/bfb0027044openalex-snapshot
The quest goes on: A survey of proofsystems for partial correctness of CSP
inferredcites →https://doi.org/10.1016/0304-3975(86)90007-1openalex-snapshot
Proving entailment between conceptual state specifications
inferredcites →https://doi.org/10.1016/0304-3975(88)90033-3openalex-snapshot
A generalization of Owicki-Gries's Hoare logic for a concurrent while language
inferredcites →https://doi.org/10.1016/0890-5401(92)90008-4openalex-snapshot
A calculus of mobile processes, I
inferredcites →https://doi.org/10.1016/0890-5401(92)90009-5openalex-snapshot
A calculus of mobile processes, II
inferredcites →https://doi.org/10.1145/177492.177726openalex-snapshot
The temporal logic of actions
inferredcites →https://doi.org/10.1145/355620.361161openalex-snapshot
Monitors
inferredcites →https://doi.org/10.1145/69575.69577openalex-snapshot
Tentative steps toward a development method for interfering programs
inferredcites →https://doi.org/10.1145/800057.808665openalex-snapshot
Now you may compose temporal logic specifications
inferredcites →https://doi.org/10.25405/ncl.34124868openalex-snapshot
On the Usability of Logics which Handle Partial Functions
inferredcites →https://doi.org/10.25405/ncl.34125705openalex-snapshot
Specification and Design of (Parallel) Programs
inferredcites →https://doi.org/10.25405/ncl.34131210openalex-snapshot
Development methods for computer programs including a notion of interference
inferredcites →https://doi.org/10.25405/ncl.34131276openalex-snapshot
An object-based design method for concurrent programs

What points at this work

Incoming claims: where this work appears in other papers’ reference lists and arguments.

inferred← citeshttps://doi.org/10.1007/3-540-44947-7_5openalex-snapshot
Adding Temporal Annotations and Associated Verification to the Ravenscar Profile
inferred← citeshttps://doi.org/10.1007/3-540-56610-4_61openalex-snapshot
Constraining interference in an object-based design method
inferred← citeshttps://doi.org/10.1007/3-540-57208-2_12openalex-snapshot
A pi-calculus semantics for an object-based design notation
inferred← citeshttps://doi.org/10.1007/978-1-4613-1437-0_1openalex-snapshot
Non-Interference Properties of a Concurrent Object-Based Language: Proofs Based on an Operational Semantics
inferred← citeshttps://doi.org/10.1007/978-1-4613-1437-0_2openalex-snapshot
Correct Transformational Design of Concurrent Search Structures
inferred← citeshttps://doi.org/10.1007/978-1-4613-1437-0_6openalex-snapshot
Semantic Refinement of Concurrent Object Systems Based on Serializability
inferred← citeshttps://doi.org/10.1007/978-3-540-74964-6_1openalex-snapshot
Delivering Real-Time Behaviour
inferred← citeshttps://doi.org/10.1007/bf00122417openalex-snapshot
Accommodating interference in the formal design of concurrent object-based programs
inferred← citeshttps://doi.org/10.1007/bf02063810openalex-snapshot
Developing parallel object-oriented programs in the framework of VDM
inferred← citeshttps://doi.org/10.1007/bfb0053590openalex-snapshot
Constructs, concepts and criteria for reuse in concurrent object-oriented languages
inferred← citeshttps://doi.org/10.1007/s00165-006-0021-4openalex-snapshot
An engineering process for the verification of real-time systems
inferred← citeshttps://doi.org/10.1016/0167-6423(94)00017-4openalex-snapshot
Composition of assumption-commitment specifications in a UNITY style
inferred← citeshttps://doi.org/10.1016/j.tcs.2006.12.029openalex-snapshot
Splitting atoms safely
inferred← citeshttps://doi.org/10.1016/s0020-0190(96)00142-1openalex-snapshot
Procedures and atomicity refinement
inferred← citeshttps://doi.org/10.1016/s1571-0661(04)00017-9openalex-snapshot
Granularity and the Development of Concurrent Programs Extended Abstract
inferred← citeshttps://doi.org/10.1016/s1571-0661(04)00018-0openalex-snapshot
Fixing the Semantics of Some Concurrent Object-Oriented Concepts Extended Abstract
inferred← citeshttps://doi.org/10.1016/s1571-0661(04)80017-3openalex-snapshot
Granularity and the Development of Concurrent Programs
inferred← citeshttps://doi.org/10.1016/s1571-0661(04)80018-5openalex-snapshot
Fixing the Semantics of Some Concurrent Object-Oriented Concepts
inferred← citeshttps://doi.org/10.1109/isads.1995.398993openalex-snapshot
Towards an enterprise modelling method for CSCW systems
inferred← citeshttps://doi.org/10.1145/214448.214460openalex-snapshot
Introducing data decomposition into VDM for tractable development of programs
Editorial review for independent work. ICSAC — the Institute for Complexity Science and Advanced Computing — runs a structured editorial panel for researchers publishing outside journals, and publishes on CiteStamp rails. Submission is free and goes through ORCID: icsacinstitute.org/submit.