On the public citation graph
Inheritance of synchronization constraints in concurrent object-oriented programming languages
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.
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.
What this work says
Outgoing claims: the papers this work cites, builds on, or argues with.
inferredcites →https://doi.org/10.1007/3-540-45910-3_6openalex-snapshot
Name Collision in Multiple Classification Hierarchies
inferredcites →https://doi.org/10.1007/3-540-47891-4_10openalex-snapshot
Classification of actions or Inheritance also for methods
inferredcites →https://doi.org/10.1007/3-540-53932-8_47openalex-snapshot
Reuse of concurrent object descriptions
inferredcites →https://doi.org/10.1007/bf01408173openalex-snapshot
Inheritance on processes, exemplified on distributed termination detection
inferredcites →https://doi.org/10.1109/icdcs.1991.148657openalex-snapshot
A synchronization mechanism for an object oriented distributed system
inferredcites →https://doi.org/10.1145/127056.127092openalex-snapshot
Towards a type theory for active objects
inferredcites →https://doi.org/10.1145/512644.512666openalex-snapshot
Distributed data structures in Linda
inferredcites →https://doi.org/10.1145/74877.74889openalex-snapshot
Inheritance and synchronization with enabled-sets
inferredcites →https://doi.org/10.1145/97945.97952openalex-snapshot
Viewing object as patterns of communicating agents
inferredcites →https://doi.org/10.1145/97945.97966openalex-snapshot
A parallel object-oriented language with inheritance and subtyping
inferredcites →https://doi.org/10.7146/dpb.v16i229.7578openalex-snapshot
The BETA Programming Language
inferredcites →https://doi.org/10.7146/dpb.v16i231.7587openalex-snapshot
Classification of Actions or Inheritance also for Methods
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1002/cpe.849openalex-snapshot
Jeeg: temporal constraints for the synchronization of concurrent objects
inferred← citeshttps://doi.org/10.1006/jpdc.1996.0088openalex-snapshot
Composing Synchronization and Real-Time Constraints
inferred← citeshttps://doi.org/10.1007/3-540-45397-0_18openalex-snapshot
Formal Reasoning about Actor Programs Using Temporal Logic
inferred← citeshttps://doi.org/10.1007/3-540-47910-4_13openalex-snapshot
Solving the Inheritance Anomaly in Concurrent Object-Oriented Programming
inferred← citeshttps://doi.org/10.1007/3-540-47910-4_18openalex-snapshot
A Language Framework for Multi-Object Coordination
inferred← citeshttps://doi.org/10.1007/3-540-49538-x_9openalex-snapshot
Using Metaobject Protocols to Implement Atomic Data Types
inferred← citeshttps://doi.org/10.1007/3-540-57502-2_36openalex-snapshot
Compilation of a highly parallel Actor-Based Language
inferred← citeshttps://doi.org/10.1007/3-540-58555-9_94openalex-snapshot
A new concept of refinement used for behaviour modelling with automata
inferred← citeshttps://doi.org/10.1007/3-540-61487-7_25openalex-snapshot
Reactive programming in Eiffel//
inferred← citeshttps://doi.org/10.1007/3-540-61626-8_84openalex-snapshot
Support for implementation of evolutionary concurrent systems in concurrent programming languages
inferred← citeshttps://doi.org/10.1007/3-540-62599-2_45openalex-snapshot
Inheriting synchronization protocols via sound enrichment rules
inferred← citeshttps://doi.org/10.1007/978-0-387-35082-0_10openalex-snapshot
Abstracting Interaction Patterns: A Programming Paradigm for Open Distributed Systems
inferred← citeshttps://doi.org/10.1007/978-0-387-35082-0_2openalex-snapshot
Types for Active Objects Based on Trace Semantics
inferred← citeshttps://doi.org/10.1007/978-0-585-27377-8_2openalex-snapshot
A Methodology for Adapting to Patterns of Faults
inferred← citeshttps://doi.org/10.1007/978-1-4471-1009-5_7openalex-snapshot
An Event Based Object Model for Distributed Programming
inferred← citeshttps://doi.org/10.1007/978-3-540-74792-5_11openalex-snapshot
Reflecting on Aspect-Oriented Programming, Metaprogramming, and Adaptive Distributed Monitoring
inferred← citeshttps://doi.org/10.1007/bfb0023929openalex-snapshot
Temporal reasoning about actor programs
inferred← citeshttps://doi.org/10.1007/bfb0033835openalex-snapshot
Inheritance and selective method dispatching in concurrent Haskell
inferred← citeshttps://doi.org/10.1007/bfb0053064openalex-snapshot
(Objects + concurrency) & reusability — A proposal to circumvent the inheritance anomaly
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/bfb0054108openalex-snapshot
Classifying inheritance mechanisms in concurrent object-oriented programming
inferred← citeshttps://doi.org/10.1007/bfb0054994openalex-snapshot
How to avoid the inheritance anomaly in Ada
inferred← citeshttps://doi.org/10.1016/j.entcs.2005.03.018openalex-snapshot
A Rewriting Semantics for a Software Architecture Description Language
inferred← citeshttps://doi.org/10.1016/s0164-1212(03)00011-6openalex-snapshot
Formally based modeling and inheritance of behaviour in object-oriented systems
inferred← citeshttps://doi.org/10.1016/s1383-7621(98)00067-8openalex-snapshot
Actors: A unifying model for parallel and distributed computing
inferred← citeshttps://doi.org/10.1016/s1571-0661(04)00048-9openalex-snapshot
Object-Oriented Specifications of Distributed Systems in the μ-Calculus and Maude
inferred← citeshttps://doi.org/10.1023/a:1011173302980openalex-snapshot
Support for Implementation of Evolutionary Concurrent Systems
inferred← citeshttps://doi.org/10.1109/apsec.1998.733575openalex-snapshot
An enhanced reflective architecture for adaptation of the object-oriented language/software
inferred← citeshttps://doi.org/10.1109/date.1998.655862openalex-snapshot
Object-oriented modelling of parallel hardware systems
inferred← citeshttps://doi.org/10.1109/empdp.1996.500608openalex-snapshot
Behaviour equation as solution of inheritance anomaly in concurrent object-oriented programming languages
inferred← citeshttps://doi.org/10.1109/iccl.1994.288387openalex-snapshot
A compositional approach to concurrent object-oriented programming
inferred← citeshttps://doi.org/10.1109/icpads.1998.741142openalex-snapshot
The Adaptive Arena: language constructs and architectural abstractions for concurrent object-oriented systems
inferred← citeshttps://doi.org/10.1109/ipps.1996.508065openalex-snapshot
Support for extensibility and reusability in a concurrent object-oriented programming language
inferred← citeshttps://doi.org/10.1109/tools.1997.654738openalex-snapshot
A meta-object protocol for distributed OO applications
inferred← citeshttps://doi.org/10.1109/wpdrts.1997.637991openalex-snapshot
Composing multiple-client-multiple-server synchronizations
inferred← citeshttps://doi.org/10.1145/165854.165875openalex-snapshot
Highly efficient and encapsulated re-use of synchronization code in concurrent object-oriented languages
inferred← citeshttps://doi.org/10.1145/224170.224297openalex-snapshot
Efficient support of location transparency in concurrent object-oriented programming languages
inferred← citeshttps://doi.org/10.1145/227986.227990openalex-snapshot
A modular approach to real-time synchronization
inferred← citeshttps://doi.org/10.1145/259526.259542openalex-snapshot
Automatic parallelization of object-oriented programming languages using tuple space
inferred← citeshttps://doi.org/10.1145/292469.292470openalex-snapshot
Concurrency and distribution in object-oriented programming
inferred← citeshttps://doi.org/10.1145/353926.353938openalex-snapshot
Integrating object-oriented programming and protected objects in Ada 95
inferred← citeshttps://doi.org/10.1145/564983.564984openalex-snapshot
Integrating object-oriented programming and protected objects in Ada 95
inferred← citeshttps://doi.org/10.5075/epfl-thesis-1664openalex-snapshot
An incremental prototyping methodology for distributed systems based on formal specifications
inferred← citeshttps://doi.org/10.5555/368058.368138openalex-snapshot
Object-oriented modelling of parallel hardware systems
inferred← citeshttps://doi.org/10.7146/brics.v10i6.21777openalex-snapshot
Jeeg: Temporal Constraints for the Synchronization of Concurrent Objects
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.