A foundation for actor computation
From MaRDI portal
Publication:4339018
DOI10.1017/S095679689700261XzbMath0870.68091MaRDI QIDQ4339018
Scott F. Smith, Ian A. Mason, Gul A. Agha, Carolyn L. Talcott
Publication date: 4 June 1997
Published in: Journal of Functional Programming (Search for Journal in Brave)
Related Items
Behavioral interface description of an object-oriented language with futures and promises, Creol: A type-safe object-oriented model for distributed concurrent systems, Behavioural semantics for asynchronous components, A semantics preserving actor translation, A programming model and foundation for lineage-based distributed computation, Comparing three coordination models: Reo, ARC, and PBRD, A first order logic of effects, A reduction semantics for direct-style asynchronous observables, ASP\(_{\text{fun}}\) : a typed functional active object calculus, Verification of asynchronous systems with an unspecified component, Modeling concurrent systems: Actors, nets, and the problem of abstraction and composition, Compositional schedulability analysis of real-time actor-based systems, Unnamed Item, The ARC Programming Model – Language Constructs for Coordination, Coordinating Asynchronous and Open Distributed Systems under Semiring-Based Timing Constraints, A hierarchy of equivalences for asynchronous calculi, An object based algebra for specifying a fault tolerant software architecture, A thread calculus with molecular dynamics, Unnamed Item, Reactors: a data-oriented synchronous/asynchronous programming model for distributed applications, Asynchronous sequential processes, Unnamed Item, Scalable termination detection for distributed actor systems, Concurrency and knowledge-level communication in agent languages, Actor languages. Their syntax, semantics, translation, and equivalence, Dynamic structural operational semantics, Trace and testing equivalence on asynchronous processes, Comparing Three Coordination Models: Reo, ARC, and RRD, Actor theories in rewriting logic
