On the public citation graph
Towards a theory of actor computation
0 signed · 94 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-52531-9_128openalex-snapshot
A theory for program and data type specification
inferredcites →https://doi.org/10.1007/978-3-642-82921-5_4openalex-snapshot
Notes on Communicating Sequential Systems
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/0304-3975(75)90017-1openalex-snapshot
Call-by-name, call-by-value and the λ-calculus
inferredcites →https://doi.org/10.1016/0304-3975(84)90113-0openalex-snapshot
Testing equivalences for processes
inferredcites →https://doi.org/10.1016/0304-3975(92)90169-gopenalex-snapshot
A theory for program and data type specification
inferredcites →https://doi.org/10.1017/s0956796800000125openalex-snapshot
Equivalence in functional languages with effects
inferredcites →https://doi.org/10.1145/143165.143191openalex-snapshot
A semantics for ML concurrency primitives
inferredcites →https://doi.org/10.1145/83880.84528openalex-snapshot
Concurrent object-oriented programming
inferredcites →https://doi.org/10.1145/97945openalex-snapshot
Proceedings of the workshop on Object-based concurrent programming
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.570openalex-snapshot
Strong types for coordinating active objects
inferred← citeshttps://doi.org/10.1006/jpdc.1994.1060openalex-snapshot
Open Heterogeneous Computing in Actorspace
inferred← citeshttps://doi.org/10.1006/jpdc.1996.0086openalex-snapshot
A Modular Approach to Programming Distributed Real-Time Systems
inferred← citeshttps://doi.org/10.1007/11767954_16openalex-snapshot
Actors, Roles and Coordinators — A Coordination Model for Open Distributed and Embedded Systems
inferred← citeshttps://doi.org/10.1007/11860990_16openalex-snapshot
Internal and External Token-Based Synchronization in Object-Oriented Languages
inferred← citeshttps://doi.org/10.1007/3-540-45393-8_11openalex-snapshot
IS=DBS+Interaction: Towards Principles of Information System Design
inferred← citeshttps://doi.org/10.1007/3-540-45397-0_17openalex-snapshot
An Actor Algebra for Specifying Distributed Systems: The Hurried Philosophers Case Study
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-48743-3_23openalex-snapshot
A Process Algebraic Specication of the New Asynchronous CORBA Messaging Service?
inferred← citeshttps://doi.org/10.1007/3-540-49538-x_16openalex-snapshot
Time and Asynchrony in Interactions among Distributed Real-Time Objects
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-60437-5_42openalex-snapshot
Modelling interactions in agent system
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-62064-8_17openalex-snapshot
Actors as a coordinating model of computation (extended abstract)
inferred← citeshttps://doi.org/10.1007/3-540-65193-4_22openalex-snapshot
A modular approach for programming embedded systems
inferred← citeshttps://doi.org/10.1007/978-0-387-35261-9_10openalex-snapshot
Formalizing Multimedia QoS Constraints Using Actors
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-3-030-00302-9_3openalex-snapshot
OpenCL Actors – Adding Data Parallelism to Actor-Based Programming with CAF
inferred← citeshttps://doi.org/10.1007/978-3-030-76384-8_16openalex-snapshot
Verification of Eventual Consensus in Synod Using a Failure-Aware Actor Model
inferred← citeshttps://doi.org/10.1007/978-3-031-71694-2_40openalex-snapshot
Composing Software Using Domain-Driven Design and the Actor Model
inferred← citeshttps://doi.org/10.1007/978-3-032-05291-9_6openalex-snapshot
The C++ Actor Framework: A Scalable Fundament for Research and Applications
inferred← citeshttps://doi.org/10.1007/978-3-540-70621-2_6openalex-snapshot
From Static to Dynamic Process Types
inferred← citeshttps://doi.org/10.1007/978-3-642-24933-4openalex-snapshot
Formal Modeling: Actors, Open Systems, Biological Systems
inferred← citeshttps://doi.org/10.1007/978-3-642-24933-4_3openalex-snapshot
Ten Years of Analyzing Actors: Rebeca Experience
inferred← citeshttps://doi.org/10.1007/978-3-642-24933-4_8openalex-snapshot
Model Feasible Interactions in Distributed Real-Time Systems
inferred← citeshttps://doi.org/10.1007/978-3-642-35890-6_9openalex-snapshot
A Semi-lattice Model for Multi-lateral Security
inferred← citeshttps://doi.org/10.1007/978-3-642-54848-2_3openalex-snapshot
A Model of Dynamic Systems
inferred← citeshttps://doi.org/10.1007/bfb0014336openalex-snapshot
A model for mobile point-to-point data-flow networks without channel sharing
inferred← citeshttps://doi.org/10.1007/bfb0026565openalex-snapshot
Sharing mutable objects and controlling groups of tasks in a concurrent and distributed language
inferred← citeshttps://doi.org/10.1007/bfb0053683openalex-snapshot
Levels of adaptivity in systems of coordinating information agents
inferred← citeshttps://doi.org/10.1007/pl00003937openalex-snapshot
Stream-Based Specification of Mobile Systems
inferred← citeshttps://doi.org/10.1007/s11334-022-00463-5openalex-snapshot
Eventual consensus in Synod: verification using a failure-aware actor model
inferred← citeshttps://doi.org/10.1016/0020-0255(96)00063-1openalex-snapshot
A visualization model for concurrent systems
inferred← citeshttps://doi.org/10.1016/b978-0-12-818576-6.00011-3openalex-snapshot
Adaptive Complex Systems: Digital Twins
inferred← citeshttps://doi.org/10.1016/j.cl.2016.01.002openalex-snapshot
Revisiting actor programming in C++
inferred← citeshttps://doi.org/10.1016/j.entcs.2009.06.007openalex-snapshot
Synchronization as a Special Case of Access Control
inferred← citeshttps://doi.org/10.1016/j.ic.2008.12.004openalex-snapshot
Asynchronous sequential processes
inferred← citeshttps://doi.org/10.1016/j.jlap.2004.05.006openalex-snapshot
An object based algebra for specifying a fault tolerant software architecture
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/s0004-3702(98)00080-0openalex-snapshot
Concurrency and knowledge-level communication in agent languages
inferred← citeshttps://doi.org/10.1016/s0096-0551(01)00019-4openalex-snapshot
State inference for dynamically changing interfaces
inferred← citeshttps://doi.org/10.1016/s0304-3975(97)00047-9openalex-snapshot
A first order logic of effects
inferred← citeshttps://doi.org/10.1016/s1571-0661(05)80243-9openalex-snapshot
Reasoning about Programs With Effects
inferred← citeshttps://doi.org/10.1017/s095679689700261xopenalex-snapshot
A foundation for actor computation
inferred← citeshttps://doi.org/10.1109/empdp.1995.389129openalex-snapshot
Modelling actor programs using Predicate/Transition nets
inferred← citeshttps://doi.org/10.1109/hicss.1993.284117openalex-snapshot
A metaarchitecture for distributed resource management
inferred← citeshttps://doi.org/10.1109/hicss.2007.114openalex-snapshot
Building a Coordination Framework to Support Behavior-Based Adaptive Checkpointing for Open Distributed Embedded Systems
inferred← citeshttps://doi.org/10.1109/icassp.2014.6854212openalex-snapshot
Barista: A framework for concurrent speech processing by usc-sail
inferred← citeshttps://doi.org/10.1109/isorc.2003.1199251openalex-snapshot
Configuration and dynamic reconfiguration of component-based applications with microsoft .NET
inferred← citeshttps://doi.org/10.1109/maes.2023.3238378openalex-snapshot
Formal Verification of Safety-Critical Aerospace Systems
inferred← citeshttps://doi.org/10.1109/sutc.2006.115openalex-snapshot
Reconfigurable coordination model for dynamic autonomous real-time systems
inferred← citeshttps://doi.org/10.1109/sutc.2006.1636160openalex-snapshot
Reconfigurable Coordination Model for Dynamic Autonomous Real-Time Systems
inferred← citeshttps://doi.org/10.1109/tools.1998.713622openalex-snapshot
The Concurrent Objects Calculus
inferred← citeshttps://doi.org/10.1134/s1064230725700388openalex-snapshot
Discrete Algorithmic Processes: Real Time, Parallelism, Complexity, and Languages
inferred← citeshttps://doi.org/10.1145/155332.155335openalex-snapshot
ActorSpace: an open distributed programming paradigm
inferred← citeshttps://doi.org/10.1145/1557876.1557877openalex-snapshot
Interfaces of active objects with internal concurrency
inferred← citeshttps://doi.org/10.1145/224964.224981openalex-snapshot
Reasoning about meta level activities in open distributed systems
inferred← citeshttps://doi.org/10.1145/237721.237807openalex-snapshot
Bisimilarity for a first-order calculus of objects with subtyping
inferred← citeshttps://doi.org/10.1145/2687357.2687363openalex-snapshot
CAF - the C++ Actor Framework for Scalable and Resource-Efficient Applications
inferred← citeshttps://doi.org/10.1145/2824815.2824820openalex-snapshot
Manyfold actors: extending the C++ actor framework to heterogeneous many-core machines using OpenCL
inferred← citeshttps://doi.org/10.1145/3354166.3354179openalex-snapshot
Smart Contracts as Authorized Production Rules
inferred← citeshttps://doi.org/10.1145/3385032.3385041openalex-snapshot
Language Support for Multi Agent Reinforcement Learning
inferred← citeshttps://doi.org/10.1145/351936.351957openalex-snapshot
Towards agent oriented application frameworks
inferred← citeshttps://doi.org/10.1145/372202.372791openalex-snapshot
A seamless approach to the agent development
inferred← citeshttps://doi.org/10.1145/508791.508799openalex-snapshot
The Agent-based Programming Language
inferred← citeshttps://doi.org/10.1145/964001.964012openalex-snapshot
Asynchronous and deterministic objects
inferred← citeshttps://doi.org/10.14569/ijacsa.2015.060236openalex-snapshot
Confinement for Active Objects
inferred← citeshttps://doi.org/10.15514/syrcose-2012-6-9openalex-snapshot
Run-Time Monitoring for Model-Based Testing of Distributed Systems
inferred← citeshttps://doi.org/10.15827/0236-235x.131.375-384openalex-snapshot
Параллельные процессы и программы: модели, языки, реализация на системах
inferred← citeshttps://doi.org/10.18287/1613-0073-2017-1902-62-67openalex-snapshot
Performance Analysis of a Simple Runtime System for Actor Programming in C++
inferred← citeshttps://doi.org/10.21203/rs.3.rs-4542573/v1openalex-snapshot
A Multidimensional Approach for Formal Modeling and Analyzing Medical Cyber-Physical Systems
inferred← citeshttps://doi.org/10.24355/dbbs.084-200511080100-103openalex-snapshot
Foundations of a Module Concept for Distributed Object Systems
inferred← citeshttps://doi.org/10.24355/dbbs.084-202001281133-0openalex-snapshot
Systems Support for Emerging Memory Technologies
inferred← citeshttps://doi.org/10.3233/fun-2001-48402openalex-snapshot
Types for Active Objects with Static Deadlock Prevention
inferred← citeshttps://doi.org/10.48084/etasr.9646openalex-snapshot
A Multidimensional Approach for Formal Modeling and Analyzing Medical Cyber-Physical Systems
inferred← citeshttps://doi.org/10.48550/arxiv.1301.0748openalex-snapshot
libcppa - Designing an Actor Semantic for C++11
inferred← citeshttps://doi.org/10.48550/arxiv.1702.05463openalex-snapshot
A Performance Analysis of Simple Runtime System for Actor Programming in C++
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.