On the public citation graph
Issues in the design of a parallel object-oriented language
0 signed · 161 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-09526-8_8openalex-snapshot
Full abstraction for a simple parallel programming language
inferredcites →https://doi.org/10.1007/3-540-15975-4_26openalex-snapshot
Miranda: A non-strict functional language with polymorphic types
inferredcites →https://doi.org/10.1007/3-540-17943-7_145openalex-snapshot
The DOOM system and its applications: A survey of esprit 415 subproject A, philips research laboratories
inferredcites →https://doi.org/10.1007/3-540-18771-5_59openalex-snapshot
Basic notions of actor grammars
inferredcites →https://doi.org/10.1007/3-540-19020-1_13openalex-snapshot
Solving reflexive domain equations in a category of complete metric spaces
inferredcites →https://doi.org/10.1007/3-540-47891-4_16openalex-snapshot
Concurrency Features for the Trellis/Owl Language
inferredcites →https://doi.org/10.1007/3-540-47891-4_22openalex-snapshot
Inheritance and Subtyping in a Parallel Object-Oriented Language
inferredcites →https://doi.org/10.1007/978-1-4612-6228-2openalex-snapshot
The Denotational Description of Programming Languages
inferredcites →https://doi.org/10.1007/bf00268134openalex-snapshot
An axiomatic proof technique for parallel programs I
inferredcites →https://doi.org/10.1007/bfb0015776openalex-snapshot
Compositionality and concurrent networks: Soundness and completeness of a proofsystem
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/0022-0000(89)90027-5openalex-snapshot
Solving reflexive domain equations in a category of complete metric spaces
inferredcites →https://doi.org/10.1016/0167-6423(84)90018-2openalex-snapshot
A proof system for concurrent ADA programs
inferredcites →https://doi.org/10.1016/0304-3975(85)90088-xopenalex-snapshot
Algebra of communicating processes with abstraction
inferredcites →https://doi.org/10.1016/0304-3975(87)90052-1openalex-snapshot
On the consistency of Koomen's Fair Abstraction Rule
inferredcites →https://doi.org/10.1016/0304-3975(88)90048-5openalex-snapshot
Designing equivalent semantic models for process creation
inferredcites →https://doi.org/10.1016/0890-5401(88)90007-7openalex-snapshot
A semantics of multiple inheritance
inferredcites →https://doi.org/10.1016/s0019-9958(82)91250-5openalex-snapshot
Processes and the denotational semantics of concurrency
inferredcites →https://doi.org/10.1016/s0019-9958(84)80025-xopenalex-snapshot
Process algebra for synchronous communication
inferredcites →https://doi.org/10.1038/scientificamerican0687-108openalex-snapshot
The Connection Machine
inferredcites →https://doi.org/10.1109/ms.1987.231776openalex-snapshot
Using Types and Inheritance in Object-Oriented Programming
inferredcites →https://doi.org/10.1109/tse.1987.232836openalex-snapshot
Distrbution and Abstract Types in Emerald
inferredcites →https://doi.org/10.1137/0219023openalex-snapshot
Semantic Correctness for a Parallel Object-Oriented Language
inferredcites →https://doi.org/10.1145/24686.24694openalex-snapshot
Eiffel: programming for reusability and extendibility
inferredcites →https://doi.org/10.1145/29873.29875openalex-snapshot
Automatic translation of FORTRAN programs to vector form
inferredcites →https://doi.org/10.1145/356869.356873openalex-snapshot
Data-Driven and Demand-Driven Computer Architecture
inferredcites →https://doi.org/10.1145/356901.356903openalex-snapshot
Concepts and Notations for Concurrent Programming
inferredcites →https://doi.org/10.1145/357103.357110openalex-snapshot
A Proof System for Communicating Sequential Processes
inferredcites →https://doi.org/10.1145/357146.357150openalex-snapshot
Ten Years of Hoare's Logic: A Survey—Part I
inferredcites →https://doi.org/10.1145/357980.358001openalex-snapshot
An axiomatic basis for computer programming
inferredcites →https://doi.org/10.1145/357980.358021openalex-snapshot
Communicating sequential processes
inferredcites →https://doi.org/10.1145/359576.359579openalex-snapshot
Can programming be liberated from the von Neumann style?
inferredcites →https://doi.org/10.1145/359576.359585openalex-snapshot
Communicating sequential processes
inferredcites →https://doi.org/10.1145/363235.363259openalex-snapshot
An axiomatic basis for computer programming
inferredcites →https://doi.org/10.1145/365813.365819openalex-snapshot
SIMULA: an ALGOL-based simulation language
inferredcites →https://doi.org/10.1145/41625.41631openalex-snapshot
Automatic decomposition of scientific programs for parallel execution
inferredcites →https://doi.org/10.1145/512644.512662openalex-snapshot
Operational semantics of a parallel object-oriented language
inferredcites →https://doi.org/10.1145/800221.806721openalex-snapshot
Real-time programming and asynchronous message passing
inferredcites →https://doi.org/10.1145/83880.84528openalex-snapshot
Concurrent object-oriented programming
inferredcites →https://doi.org/10.1145/885631.885632openalex-snapshot
Common Lisp Object System specification
inferredcites →https://doi.org/10.3403/00373508openalex-snapshot
Specification for computer programming language Pascal
inferredcites →https://doi.org/10.7907/9evc-2x08.openalex-snapshot
The extension of object-oriented languages to a homogeneous, concurrent architecture
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1002/(sici)1096-9942(199901/03)5:1<25::aid-tapo3>3.0.co;2-aopenalex-snapshot
Typed ?-calculus at work: A correctness proof of Jones's parallelisation transformation on concurrent objects
inferred← citeshttps://doi.org/10.1002/(sici)1096-9942(199901/03)5:1<25::aid-tapo3>3.3.co;2-1openalex-snapshot
Typed π‐calculus at work: A correctness proof of Jones's parallelisation transformation on concurrent objects
inferred← citeshttps://doi.org/10.1002/cpe.4330070602openalex-snapshot
Distributed implementations of communicating objects
inferred← citeshttps://doi.org/10.1006/inco.1998.2711openalex-snapshot
An Interpretation of Typed Objects into Typedπ-Calculus
inferred← citeshttps://doi.org/10.1007/11768869_17openalex-snapshot
Abstract Interface Behavior of Object-Oriented Languages with Monitors
inferred← citeshttps://doi.org/10.1007/11780342_1openalex-snapshot
Heap-Abstraction for an Object-Oriented Calculus with Thread Classes
inferred← citeshttps://doi.org/10.1007/3-540-44450-5_32openalex-snapshot
Inheritance in the Join Calculus
inferred← citeshttps://doi.org/10.1007/3-540-45397-0_4openalex-snapshot
CLOWN as a Testbed for Concurrent Object-Oriented Concepts
inferred← citeshttps://doi.org/10.1007/3-540-45634-1_10openalex-snapshot
Semantics of Agent Communication: An Introduction
inferred← citeshttps://doi.org/10.1007/3-540-46589-8_18openalex-snapshot
Semantics of Objects As Processes (SOAP)
inferred← citeshttps://doi.org/10.1007/3-540-47993-7_18openalex-snapshot
Modern Concurrency Abstractions for C#
inferred← citeshttps://doi.org/10.1007/3-540-54132-2_56openalex-snapshot
PRISMA, a platform for experiments with parallelism
inferred← citeshttps://doi.org/10.1007/3-540-54152-7_56openalex-snapshot
Rendez-vous with metric semantics
inferred← citeshttps://doi.org/10.1007/3-540-54415-1_63openalex-snapshot
π-Calculus semantics of object-oriented programming languages
inferred← citeshttps://doi.org/10.1007/3-540-54430-5_75openalex-snapshot
Formal techniques for parallel object-oriented languages
inferred← citeshttps://doi.org/10.1007/3-540-55599-4_93openalex-snapshot
Extensibility and reuse of object-oriented synchronization components
inferred← citeshttps://doi.org/10.1007/3-540-55613-3_6openalex-snapshot
Formal techniques for parallel object-oriented languages
inferred← citeshttps://doi.org/10.1007/3-540-56596-5_37openalex-snapshot
Towards an epistemic approach to reasoning about concurrent programs
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-56610-4_62openalex-snapshot
From π-calculus to higher-order π-calculus — and back
inferred← citeshttps://doi.org/10.1007/3-540-57880-3_33openalex-snapshot
Algebraic proofs of properties of objects
inferred← citeshttps://doi.org/10.1007/3-540-59293-8_197openalex-snapshot
Confluence of processes and systems of objects
inferred← citeshttps://doi.org/10.1007/3-540-60218-6_35openalex-snapshot
On sharing and determinacy in concurrent systems
inferred← citeshttps://doi.org/10.1007/3-540-61055-3_26openalex-snapshot
Some practical problems and their influence on semantics
inferred← citeshttps://doi.org/10.1007/3-540-61604-7_52openalex-snapshot
On transformations of concurrent object programs
inferred← citeshttps://doi.org/10.1007/3-540-61604-7_82openalex-snapshot
A calculus for concurrent objects
inferred← citeshttps://doi.org/10.1007/3-540-63010-4_17openalex-snapshot
Action-based concurrency and synchronization for objects
inferred← citeshttps://doi.org/10.1007/978-0-387-34894-0_6openalex-snapshot
IN service specification using the KANNEL language
inferred← citeshttps://doi.org/10.1007/978-0-387-35562-7_27openalex-snapshot
Calculi for Concurrent Objects
inferred← citeshttps://doi.org/10.1007/978-0-387-35562-7_6openalex-snapshot
Observation Equivalences for the Semantics of Inheritance
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-84882-912-1_8openalex-snapshot
The Role of Auxiliary Variables in the Formal Development of Concurrent Programs
inferred← citeshttps://doi.org/10.1007/978-3-030-01461-2_2openalex-snapshot
Concurrency: Handling Interference Formally
inferred← citeshttps://doi.org/10.1007/978-3-030-54997-8_4openalex-snapshot
Specification with Class: A Brief History of Object-Z
inferred← citeshttps://doi.org/10.1007/978-3-319-30734-3_26openalex-snapshot
A Small-Step Semantics of a Concurrent Calculus with Goroutines and Deferred Functions
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-540-40007-3_13openalex-snapshot
A Formal Basis for Some Dependability Notions
inferred← citeshttps://doi.org/10.1007/978-3-540-74964-6_4openalex-snapshot
Understanding Programming Language Concepts Via Operational Semantics
inferred← citeshttps://doi.org/10.1007/978-3-642-14107-2_13openalex-snapshot
JCoBox: Generalizing Active Objects to Concurrent Components
inferred← citeshttps://doi.org/10.1007/978-3-642-38613-8_20openalex-snapshot
Quantified Abstractions of Distributed Systems
inferred← citeshttps://doi.org/10.1007/978-3-642-77449-2_6openalex-snapshot
Nichtsequentielle Programmierung mit Eiffel
inferred← citeshttps://doi.org/10.1007/978-3-642-78565-8_51openalex-snapshot
HOPSA — a High-level Programming Language for Parallel Computations
inferred← citeshttps://doi.org/10.1007/978-3-662-25209-3_29openalex-snapshot
Rendez-Vous with Metric Semantics
inferred← citeshttps://doi.org/10.1007/978-3-7091-7553-8_3openalex-snapshot
InfoGuide: A Full-Text Document Retrieval System
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/bf01211312openalex-snapshot
A layered semantics for a parallel object-oriented language
inferred← citeshttps://doi.org/10.1007/bf01215408openalex-snapshot
Reasoning about dynamically evolving process structures
inferred← citeshttps://doi.org/10.1007/bfb0019439openalex-snapshot
The structure and semantics of actor languages
inferred← citeshttps://doi.org/10.1007/bfb0019440openalex-snapshot
Designing an object-oriented programming language with behavioural subtyping
inferred← citeshttps://doi.org/10.1007/bfb0019441openalex-snapshot
A layered semantics for a parallel object-oriented language
inferred← citeshttps://doi.org/10.1007/bfb0019446openalex-snapshot
Net-based description of parallel object-based systems, or POTs and POPs
inferred← citeshttps://doi.org/10.1007/bfb0053580openalex-snapshot
Some mistakes I have and what I have learned from them
inferred← citeshttps://doi.org/10.1007/s00165-014-0321-zopenalex-snapshot
Quantified abstract configurations of distributed systems
inferred← citeshttps://doi.org/10.1007/s00224-007-9047-0openalex-snapshot
Abstract Interface Behavior of Object-Oriented Languages with Monitors
inferred← citeshttps://doi.org/10.1007/s10270-007-0065-9openalex-snapshot
Heap-abstraction for an object-oriented calculus with thread classes
inferred← citeshttps://doi.org/10.1016/j.entcs.2005.11.051openalex-snapshot
An Approach to Splitting Atoms Safely
inferred← citeshttps://doi.org/10.1016/j.jlap.2009.01.001openalex-snapshot
Behavioral interface description of an object-oriented language with futures and promises
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/s0167-6423(02)00034-5openalex-snapshot
Imperative objects as mobile processes
inferred← citeshttps://doi.org/10.1016/s0304-3975(97)00111-4openalex-snapshot
Partial confluence of processes and systems of objects
inferred← citeshttps://doi.org/10.1016/s0304-3975(97)00222-3openalex-snapshot
On transformations of concurrent-object programs
inferred← citeshttps://doi.org/10.1016/s1567-8326(03)00040-7openalex-snapshot
Inheritance in the join calculus
inferred← citeshttps://doi.org/10.1016/s1571-0661(05)80227-0openalex-snapshot
Systematic Development of Concurrent Object-Oriented Programs
inferred← citeshttps://doi.org/10.1080/09540090050129772openalex-snapshot
The foundations of connectionist computation
inferred← citeshttps://doi.org/10.1109/40.62724openalex-snapshot
Parallel computers for advanced information processing
inferred← citeshttps://doi.org/10.1109/69.180605openalex-snapshot
PRISMA/DB: a parallel, main memory relational DBMS
inferred← citeshttps://doi.org/10.1109/cmpeur.1992.218511openalex-snapshot
VDM++, a formal specification language for object-oriented designs
inferred← citeshttps://doi.org/10.1109/icsmc.1993.384960openalex-snapshot
Class orientation and inheritance in modular algebraic nets
inferred← citeshttps://doi.org/10.1109/icsmc.1995.538321openalex-snapshot
Applications of colored Petri nets in analysis and synthesis of distributed computer systems
inferred← citeshttps://doi.org/10.1109/kse.2011.28openalex-snapshot
Design Issues in Concurrent Object-Oriented Languages and Observability
inferred← citeshttps://doi.org/10.1109/lics.1991.151663openalex-snapshot
A compositional proof system for dynamic process creation
inferred← citeshttps://doi.org/10.1109/mahc.2003.1203057openalex-snapshot
The early search for tractable ways of reasoning about programs
inferred← citeshttps://doi.org/10.1109/pdis.1991.183084openalex-snapshot
High-quality and high-performance full-text document retrieval: the Parallel InfoGuide System
inferred← citeshttps://doi.org/10.1145/1018203.1018205openalex-snapshot
Modern concurrency abstractions for C#
inferred← citeshttps://doi.org/10.1145/122860.122868openalex-snapshot
Posting compression in dynamic retrieval environments
inferred← citeshttps://doi.org/10.1145/130069.130135openalex-snapshot
A generic object-oriented concurrency mechanism for extensibility and reuse of synchronization components
inferred← citeshttps://doi.org/10.1145/165364.165385openalex-snapshot
Is object-oriented programming structured programming?
inferred← citeshttps://doi.org/10.1145/1808954.1808958openalex-snapshot
Writing concurrent desktop applications in an actor-based programming model
inferred← citeshttps://doi.org/10.1145/1868294.1868304openalex-snapshot
Implicit invocation meets safe, implicit concurrency
inferred← citeshttps://doi.org/10.1145/1942788.1868304openalex-snapshot
Implicit invocation meets safe, implicit concurrency
inferred← citeshttps://doi.org/10.1145/2541329.2541333openalex-snapshot
Concurrent object-oriented programming with agent-oriented abstractions
inferred← citeshttps://doi.org/10.1145/292469.292470openalex-snapshot
Concurrency and distribution in object-oriented programming
inferred← citeshttps://doi.org/10.1145/83880.84528openalex-snapshot
Concurrent object-oriented programming
inferred← citeshttps://doi.org/10.1145/97945.97966openalex-snapshot
A parallel object-oriented language with inheritance and subtyping
inferred← citeshttps://doi.org/10.1145/97946.97966openalex-snapshot
A parallel object-oriented language with inheritance and subtyping
inferred← citeshttps://doi.org/10.14236/ewic/fa1997.14openalex-snapshot
Formalizing CORRELATE - from Practice to Pi
inferred← citeshttps://doi.org/10.14264/47655d0openalex-snapshot
An object-oriented approach to formal specification
inferred← citeshttps://doi.org/10.17169/refubium-22133openalex-snapshot
Concurrency Annotations and Reusability
inferred← citeshttps://doi.org/10.7146/brics.v3i38.20020openalex-snapshot
Objects as Mobile Processes
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.