On the public citation graph

An approach to object-orientation in action systems

0 signed · 68 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.1006/inco.1995.1018openalex-snapshot

Objects in the π-Calculus

inferredcites →https://doi.org/10.1007/3-540-52559-9_61openalex-snapshot

Refinement calculus, part II: Parallel and reactive programs

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/3-540-58555-9_83openalex-snapshot

From action systems to modular systems

inferredcites →https://doi.org/10.1007/3-540-60117-1_24openalex-snapshot

ImpUNITY: UNITY with procedures and local variables

inferredcites →https://doi.org/10.1007/3-540-60271-2_125openalex-snapshot

How firing conditions help inheritance

inferredcites →https://doi.org/10.1007/3-540-63533-5_5openalex-snapshot

Class refinement and interface refinement in object-oriented programs

inferredcites →https://doi.org/10.1007/978-1-4471-3756-6_10openalex-snapshot

The Ecology of Class Refinement

inferredcites →https://doi.org/10.1007/978-1-4613-9668-0_6openalex-snapshot

Parallel Program Design

inferredcites →https://doi.org/10.1007/978-3-540-39910-0_2openalex-snapshot

A Logic of Object-Oriented Programs

inferredcites →https://doi.org/10.1007/978-3-642-59412-0_24openalex-snapshot

Proof of Correctness of Data Representations

inferredcites →https://doi.org/10.1007/bf00289507openalex-snapshot

Proof of correctness of data representations

inferredcites →https://doi.org/10.1007/bf01192157openalex-snapshot

The lattice of data refinement

inferredcites →https://doi.org/10.1007/bf01213603openalex-snapshot

The weakest precondition calculus: Recursion and duality

inferredcites →https://doi.org/10.1007/bf01558665openalex-snapshot

Decentralization of process nets with centralized control

inferredcites →https://doi.org/10.1007/bfb0014556openalex-snapshot

Data refinement of remote procedures

inferredcites →https://doi.org/10.1007/bfb0030634openalex-snapshot

A logic of object-oriented programs

inferredcites →https://doi.org/10.1007/bfb0053031openalex-snapshot

Reasoning and refinement in object-oriented specification languages

inferredcites →https://doi.org/10.1007/bfb0053566openalex-snapshot

Reasoning about classes in object-oriented languages: Logical models and tools

inferredcites →https://doi.org/10.1016/0004-3702(77)90033-9openalex-snapshot

Viewing control structures as patterns of passing messages

inferredcites →https://doi.org/10.1016/0167-6423(87)90011-6openalex-snapshot

A theoretical basis for stepwise refinement and the programming calculus

inferredcites →https://doi.org/10.1016/0169-7552(96)00033-5openalex-snapshot

Distributed active objects

inferredcites →https://doi.org/10.1016/0890-5401(89)90057-6openalex-snapshot

Denotational semantics of a parallel object-oriented language

inferredcites →https://doi.org/10.1016/b978-0-444-89402-1.50044-8openalex-snapshot

Superposition Refinement of Parallel Algorithms

inferredcites →https://doi.org/10.1017/cbo9780511624162openalex-snapshot

The B-Book

inferredcites →https://doi.org/10.1109/icdcs.1991.148656openalex-snapshot

DisCo specification language: marriage of actions and objects

inferredcites →https://doi.org/10.1145/177492.177726openalex-snapshot

The temporal logic of actions

inferredcites →https://doi.org/10.1145/199448.199516openalex-snapshot

A language with distributed scope

inferredcites →https://doi.org/10.1145/44501.44503openalex-snapshot

The specification statement

inferredcites →https://doi.org/10.1145/512644.512662openalex-snapshot

Operational semantics of a parallel object-oriented language

inferredcites →https://doi.org/10.7551/mitpress/1086.001.0001openalex-snapshot

Actors

What points at this work

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

inferred← citeshttps://doi.org/10.1007/11901433_35openalex-snapshot

A Language for Modeling Network Availability

inferred← citeshttps://doi.org/10.1007/3-540-40911-4_10openalex-snapshot

Developing Control Systems Components

inferred← citeshttps://doi.org/10.1007/3-540-48118-4_26openalex-snapshot

A weakest precondition semantics for an object-oriented language of refinement

inferred← citeshttps://doi.org/10.1007/3-540-48919-3_17openalex-snapshot

Coordination Among Mobile Objects

inferred← citeshttps://doi.org/10.1007/978-0-387-09751-0_47openalex-snapshot

A Formal Architectural Model for Peer-to-Peer Systems

inferred← citeshttps://doi.org/10.1007/978-0-387-35562-7_3openalex-snapshot

Developing Object-Based Distributed Systems

inferred← citeshttps://doi.org/10.1007/978-1-4471-5355-9_17openalex-snapshot

Class Refinement

inferred← citeshttps://doi.org/10.1007/978-3-319-92711-4_12openalex-snapshot

Conclusions

inferred← citeshttps://doi.org/10.1007/978-3-540-24721-0_5openalex-snapshot

Refactoring Object-Z Specifications

inferred← citeshttps://doi.org/10.1007/978-3-540-30477-7_28openalex-snapshot

A Relational Model for Object-Oriented Designs

inferred← citeshttps://doi.org/10.1007/978-3-540-39656-7_17openalex-snapshot

Concurrent Object-Oriented Programs: From Specification to Code

inferred← citeshttps://doi.org/10.1007/978-3-642-17071-3_10openalex-snapshot

Mapping UML to Labeled Transition Systems for Test-Case Generation

inferred← citeshttps://doi.org/10.1007/978-3-642-24270-0_20openalex-snapshot

Fault-Based Generation of Test Cases from UML-Models – Approach and Some Experiences

inferred← citeshttps://doi.org/10.1007/978-981-10-2546-4_14openalex-snapshot

rCOS: A Refinement Calculus of Internetware Systems

inferred← citeshttps://doi.org/10.1007/s00165-013-0292-5openalex-snapshot

Kaisa Sere: In Memoriam

inferred← citeshttps://doi.org/10.1007/s00446-003-0090-zopenalex-snapshot

Action systems in incremental and aspect-oriented modeling

inferred← citeshttps://doi.org/10.1007/s00502-010-0741-2openalex-snapshot

Towards generation of efficient test cases from UML/OCL models for complex safety-critical systems

inferred← citeshttps://doi.org/10.1016/j.entcs.2004.02.018openalex-snapshot

Unifying Views of UML

inferred← citeshttps://doi.org/10.1016/j.entcs.2016.01.002openalex-snapshot

Symbolic Input-Output Conformance Checking for Model-Based Mutation Testing

inferred← citeshttps://doi.org/10.1016/j.tcs.2004.09.024openalex-snapshot

Verification and refinement with fine-grained action-based concurrent objects

inferred← citeshttps://doi.org/10.1016/j.tcs.2006.07.034openalex-snapshot

rCOS: A refinement calculus of object systems

inferred← citeshttps://doi.org/10.1016/s0167-6423(00)00005-8openalex-snapshot

Predicate transformer semantics of a higher-order imperative language with record subtyping

inferred← citeshttps://doi.org/10.1016/s0304-3975(99)00228-5openalex-snapshot

Coordinating action systems

inferred← citeshttps://doi.org/10.1109/32.879810openalex-snapshot

A weakest precondition semantics for refinement of object-oriented programs

inferred← citeshttps://doi.org/10.1109/ftdcs.2004.1316632openalex-snapshot

Towards an integrated architecture for peer-to-peer and ad hoc overlay network applications

inferred← citeshttps://doi.org/10.1109/icstw.2017.62openalex-snapshot

Property-Based Testing with External Test-Case Generators

inferred← citeshttps://doi.org/10.1109/qsic.2012.58openalex-snapshot

Efficient Refinement Checking for Model-Based Mutation Testing

inferred← citeshttps://doi.org/10.1145/1921532.1921559openalex-snapshot

UML in action

inferred← citeshttps://doi.org/10.1145/3127041.3127049openalex-snapshot

Model-based, mutation-driven test case generation via heuristic-guided branching search

inferred← citeshttps://doi.org/10.1201/b20053-23openalex-snapshot

Bibliography

inferred← citeshttps://doi.org/10.14236/ewic/iwfm2003.4openalex-snapshot

Stepwise Development of Peer-to-Peer Systems

inferred← citeshttps://doi.org/10.3233/fun-2000-441-202openalex-snapshot

A Foundation for Refining Concurrent Objects

inferred← citeshttps://doi.org/10.4018/978-1-61520-655-1.ch027openalex-snapshot

Location-Awareness with Action Systems

inferred← citeshttps://doi.org/10.4018/jertcs.2010040103openalex-snapshot

Towards Sustainable Development of Energy-Aware Systems

inferred← citeshttps://doi.org/10.4204/eptcs.420.5openalex-snapshot

An Efficient Implementation of Guard-Based Synchronization for an Object-Oriented Programming Language

inferred← citeshttps://doi.org/10.5860/choice.43-4071aopenalex-snapshot

Software evolution with UML and XML

inferred← citeshttps://doi.org/10.71548/6003openalex-snapshot

An Experimental Implementation of Action-Based Concurrency

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.