On the public citation graph

A Theory of Distributed Objects

https://doi.org/10.1007/b138812
0 signed · 92 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 points at this work

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

inferred← citeshttps://doi.org/10.1007/11559306_14openalex-snapshot
A Concurrent Lambda Calculus with Futures
inferred← citeshttps://doi.org/10.1007/11914952_9openalex-snapshot
Grid File Transfer During Deployment, Execution, and Retrieval
inferred← citeshttps://doi.org/10.1007/978-0-387-34735-6_16openalex-snapshot
Asynchonous Distributed Components: Concurrency and Determinacy
inferred← citeshttps://doi.org/10.1007/978-0-387-72812-4_7openalex-snapshot
PAL: Exploiting Java Annotations for Parallelism
inferred← citeshttps://doi.org/10.1007/978-0-387-78448-9_25openalex-snapshot
High-Level Scripting Approach for Building Component-Based Applications on the Grid
inferred← citeshttps://doi.org/10.1007/978-3-030-02146-7_8openalex-snapshot
Using Coloured Petri Nets for Resource Analysis of Active Objects
inferred← citeshttps://doi.org/10.1007/978-3-030-63461-2_10openalex-snapshot
Active Objects with Deterministic Behaviour
inferred← citeshttps://doi.org/10.1007/978-3-030-70852-8_5openalex-snapshot
Information-Flow Control by Means of Security Wrappers for Active Object Languages with Futures
inferred← citeshttps://doi.org/10.1007/978-3-031-51060-1_13openalex-snapshot
Enforced Dependencies for Active Objects
inferred← citeshttps://doi.org/10.1007/978-3-031-51060-1_2openalex-snapshot
Actor-Based Designs for Distributed Self-organisation Programming
inferred← citeshttps://doi.org/10.1007/978-3-319-39519-7_13openalex-snapshot
From Modelling to Systematic Deployment of Distributed Active Objects
inferred← citeshttps://doi.org/10.1007/978-3-319-68972-2_6openalex-snapshot
Translating Active Objects into Colored Petri Nets for Communication Analysis
inferred← citeshttps://doi.org/10.1007/978-3-540-72883-2_18openalex-snapshot
Towards Context-Aware Web Applications
inferred← citeshttps://doi.org/10.1007/978-3-540-72952-5_12openalex-snapshot
A Mechanized Model of the Theory of Objects
inferred← citeshttps://doi.org/10.1007/978-3-540-85289-6_16openalex-snapshot
A Specification Language for Distributed Components Implemented in GCM/ProActive
inferred← citeshttps://doi.org/10.1007/978-3-540-89330-1_11openalex-snapshot
Minimal Ownership for Active Objects
inferred← citeshttps://doi.org/10.1007/978-3-540-92188-2_6openalex-snapshot
Active Objects and Distributed Components: Theory and Implementation
inferred← citeshttps://doi.org/10.1007/978-3-642-00955-6_50openalex-snapshot
Group Abstractions for Organizing Dynamic Distributed Systems
inferred← citeshttps://doi.org/10.1007/978-3-642-04167-9_10openalex-snapshot
Specification and Verification for Grid Component-Based Applications: From Models to Tools
inferred← citeshttps://doi.org/10.1007/978-3-642-04167-9_9openalex-snapshot
An Asynchronous Distributed Component Model and Its Semantics
inferred← citeshttps://doi.org/10.1007/978-3-642-05089-3_38openalex-snapshot
Dynamic Classes: Modular Asynchronous Evolution of Distributed Concurrent Objects
inferred← citeshttps://doi.org/10.1007/978-3-642-11482-3_7openalex-snapshot
Integrating Autonomic Grid Components and Process-Driven Business Applications
inferred← citeshttps://doi.org/10.1007/978-3-642-11512-7_12openalex-snapshot
Concurrent Objects à la Carte
inferred← citeshttps://doi.org/10.1007/978-3-642-16901-4_42openalex-snapshot
Dynamic Resource Reallocation between Deployment Components
inferred← citeshttps://doi.org/10.1007/978-3-642-18070-5openalex-snapshot
Formal Verification of Object-Oriented Software
inferred← citeshttps://doi.org/10.1007/978-3-642-18070-5_4openalex-snapshot
Validating Timed Models of Deployment Components with Parametric Concurrency
inferred← citeshttps://doi.org/10.1007/978-3-642-19348-4_8openalex-snapshot
Privacy Enforcement and Analysis for Functional Active Objects
inferred← citeshttps://doi.org/10.1007/978-3-642-21437-0_27openalex-snapshot
Simulating Concurrent Behaviors with Worst-Case Cost Bounds
inferred← citeshttps://doi.org/10.1007/978-3-642-21878-1_37openalex-snapshot
First Class Futures: Specification and Implementation of Update Strategies
inferred← citeshttps://doi.org/10.1007/978-3-642-33427-6_7openalex-snapshot
Formal Modeling of Resource Management for Cloud Architectures: An Industrial Case Study
inferred← citeshttps://doi.org/10.1007/978-3-642-34281-3_8openalex-snapshot
Modeling Resource-Aware Virtualized Applications for the Cloud in Real-Time ABS
inferred← citeshttps://doi.org/10.1007/978-3-642-35743-5_12openalex-snapshot
A Formal Model of Object Mobility in Resource-Restricted Deployment Scenarios
inferred← citeshttps://doi.org/10.1007/978-3-642-35887-6_5openalex-snapshot
Modeling Application-Level Management of Virtualized Resources in ABS
inferred← citeshttps://doi.org/10.1007/978-3-642-40615-7_5openalex-snapshot
Separating Cost and Capacity for Load Balancing in ABS Deployment Models
inferred← citeshttps://doi.org/10.1007/978-3-662-45231-8_2openalex-snapshot
Erlang-Style Error Recovery for Concurrent Objects with Cooperative Scheduling
inferred← citeshttps://doi.org/10.1007/978-3-662-45234-9_22openalex-snapshot
Deployment Variability in Delta-Oriented Models
inferred← citeshttps://doi.org/10.1007/978-3-662-49665-7_4openalex-snapshot
ABS-YARN: A Formal Framework for Modeling Hadoop YARN Clusters
inferred← citeshttps://doi.org/10.1007/978-3-662-49665-7_5openalex-snapshot
Integrated Environment for Verifying and Running Distributed Components
inferred← citeshttps://doi.org/10.1007/s00366-012-0263-0openalex-snapshot
Asynchronous evolutionary shape optimization based on high-quality surrogates: application to an air-conditioning duct
inferred← citeshttps://doi.org/10.1007/s11761-013-0148-0openalex-snapshot
Formal modeling and analysis of resource management for cloud architectures: an industrial case study using Real-Time ABS
inferred← citeshttps://doi.org/10.1007/s12243-008-0069-7openalex-snapshot
Behavioural models for distributed Fractal components
inferred← citeshttps://doi.org/10.1016/j.entcs.2005.05.045openalex-snapshot
Secured Information Flow for Asynchronous Sequential Processes
inferred← citeshttps://doi.org/10.1016/j.entcs.2006.12.042openalex-snapshot
From Theory to Practice in Distributed Component Systems
inferred← citeshttps://doi.org/10.1016/j.entcs.2008.06.026openalex-snapshot
An Open System Operational Semantics for an Object-Oriented and Component-Based Language
inferred← citeshttps://doi.org/10.1016/j.entcs.2009.07.007openalex-snapshot
Intra-Object versus Inter-Object: Concurrency and Reasoning in Creol
inferred← citeshttps://doi.org/10.1016/j.entcs.2009.10.026openalex-snapshot
Functional Active Objects: Typing and Formalisation
inferred← citeshttps://doi.org/10.1016/j.entcs.2009.12.036openalex-snapshot
Transparent First-class Futures and Distributed Components
inferred← citeshttps://doi.org/10.1016/j.entcs.2010.07.004openalex-snapshot
Asynchronous Components with Futures: Semantics and Proofs in Isabelle/HOL
inferred← citeshttps://doi.org/10.1016/j.entcs.2011.07.007openalex-snapshot
Models of Rate Restricted Communication for Concurrent Objects
inferred← citeshttps://doi.org/10.1016/j.ic.2008.12.004openalex-snapshot
Asynchronous sequential processes
inferred← citeshttps://doi.org/10.1016/j.jlamp.2014.07.001openalex-snapshot
Integrating deployment architectures and resource consumption in timed object-oriented models
inferred← citeshttps://doi.org/10.1016/j.jlamp.2017.02.003openalex-snapshot
Behavioural semantics for asynchronous components
inferred← citeshttps://doi.org/10.1016/j.jlamp.2017.02.005openalex-snapshot
On detecting over-eager concurrency in asynchronously communicating concurrent object systems
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.jss.2008.02.035openalex-snapshot
Specification, decomposition and agent synthesis for situation-aware service-based systems
inferred← citeshttps://doi.org/10.1016/j.jss.2018.11.018openalex-snapshot
Peak resource analysis of concurrent distributed systems
inferred← citeshttps://doi.org/10.1016/j.scico.2010.12.008openalex-snapshot
ASPfun : A typed functional active object calculus
inferred← citeshttps://doi.org/10.1016/j.scico.2014.11.014openalex-snapshot
A formal model of service-oriented dynamic object groups
inferred← citeshttps://doi.org/10.1016/j.scico.2019.04.002openalex-snapshot
Translating active objects into colored Petri nets for communication analysis
inferred← citeshttps://doi.org/10.1016/j.tcs.2006.08.016openalex-snapshot
A concurrent lambda calculus with futures
inferred← citeshttps://doi.org/10.1109/acsd.2013.21openalex-snapshot
Prototyping a Concurrency Model
inferred← citeshttps://doi.org/10.1109/compsac.2008.97openalex-snapshot
Advanced Grid Programming with Components: A Biometric Identification Case Study
inferred← citeshttps://doi.org/10.1109/comsnets.2011.5716513openalex-snapshot
Service-level control and management for future network applications
inferred← citeshttps://doi.org/10.1109/e-science.2006.261181openalex-snapshot
Jylab: A System for Portable Scientific Computing over Distributed Platforms
inferred← citeshttps://doi.org/10.1109/e-science.2006.94openalex-snapshot
Jylab: A System for Portable Scientific Computing over Distributed Platforms
inferred← citeshttps://doi.org/10.1109/gcc.2010.108openalex-snapshot
PAPC: A Simple Distributed Parallel Computing Framework for Mass Legacy Code Tasks
inferred← citeshttps://doi.org/10.1109/icimp.2010.27openalex-snapshot
Implementing Privacy with Erlang Active Objects
inferred← citeshttps://doi.org/10.1109/ipdps.2007.370418openalex-snapshot
Analysis of Different Future Objects Update Strategies in ProActive
inferred← citeshttps://doi.org/10.1109/mdm.2008.45openalex-snapshot
Keynote 1 - Strong Programming Model for Strong Weak Mobility: The ProActive Parallel Suite
inferred← citeshttps://doi.org/10.1109/scc.2010.49openalex-snapshot
Xi-Calculus: A Calculus for Service Interactions
inferred← citeshttps://doi.org/10.1142/9789814340922_0008openalex-snapshot
PROACTIVE MONITORING AND CONTROL OF WORKFLOW EXECUTION IN ADAPTIVE SERVICE-BASED SYSTEMS
inferred← citeshttps://doi.org/10.1145/1456190.1456192openalex-snapshot
Methodology for component-based development of grid applications
inferred← citeshttps://doi.org/10.1145/1456190.1456201openalex-snapshot
Stopping safely hierarchical distributed components
inferred← citeshttps://doi.org/10.1145/2541329.2541340openalex-snapshot
Efficient and fully abstract routing of futures in object network overlays
inferred← citeshttps://doi.org/10.1145/3122848openalex-snapshot
A Survey of Active Object Languages
inferred← citeshttps://doi.org/10.1145/3133896openalex-snapshot
Orca: GC and type system co-design for actor languages
inferred← citeshttps://doi.org/10.1145/3274278openalex-snapshot
Parallel Cost Analysis
inferred← citeshttps://doi.org/10.1145/3564529openalex-snapshot
A Survey on Parallelism and Determinism
inferred← citeshttps://doi.org/10.1177/1094342011422924openalex-snapshot
Component-based approach for programming and running scientific applications on grids and clouds
inferred← citeshttps://doi.org/10.1504/ijaacs.2012.047659openalex-snapshot
Process-driven biometric identification by means of autonomic grid components
inferred← citeshttps://doi.org/10.23638/lmcs-13(4:12)2017openalex-snapshot
Multiactive objects and their applications
inferred← citeshttps://doi.org/10.3233/mgs-2007-3404openalex-snapshot
File transfer in Grid applications at deployment, execution and retrieval
inferred← citeshttps://doi.org/10.34767/simis.2011.05.03openalex-snapshot
Active object design pattern
inferred← citeshttps://doi.org/10.4018/jwsr.2007100103openalex-snapshot
Automated Situation-Aware Service Composition in Service-Oriented Computing
inferred← citeshttps://doi.org/10.4108/icst.autonomics2007.2200openalex-snapshot
A Component Platform for Experimenting with Autonomic Composition
inferred← citeshttps://doi.org/10.4204/eptcs.302.3openalex-snapshot
Who is to Blame? Runtime Verification of Distributed Objects with Active Monitors
inferred← citeshttps://doi.org/10.4204/eptcs.91.1openalex-snapshot
A Type-Safe Model of Adaptive Object Groups
inferred← citeshttps://doi.org/10.48550/arxiv.1306.2267openalex-snapshot
Let's Annotate to Let Our Code Run in Parallel
inferred← citeshttps://doi.org/10.48550/arxiv.1510.03354openalex-snapshot
Parallel Triangles Counting Using Pipelining
inferred← citeshttps://doi.org/10.5282/edoc.12075openalex-snapshot
Behaviour and Refinement of Port-Based Components with Synchronous and Asynchronous Communication
inferred← citeshttps://doi.org/10.5555/1365562.1365573openalex-snapshot
A component platform for experimenting with autonomic composition
inferred← citeshttps://doi.org/10.5555/1516124.1516136openalex-snapshot
Garbage collecting the grid: a complete DGC for activities
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.