A Theory of Communicating Sequential Processes
Journal of the ACM (JACM)
Communicating sequential processes
Communicating sequential processes
Actors: a model of concurrent computation in distributed systems
Actors: a model of concurrent computation in distributed systems
Structure and interpretation of computer programs
Structure and interpretation of computer programs
Concurrent object-oriented programming in Act 1
Object-oriented concurrent programming
Rosette: An object-oriented concurrent systems architecture
OOPSLA/ECOOP '88 Proceedings of the 1988 ACM SIGPLAN workshop on Object-based concurrent programming
ABCL: an object-oriented concurrent system
ABCL: an object-oriented concurrent system
Facile: a symmetric integration of concurrent and functional programming
International Journal of Parallel Programming
Concurrent object-oriented programming
Communications of the ACM
Proceedings of the seventeenth international colloquium on Automata, languages and programming
A domain equation for bisimulation
Information and Computation
Artificial intelligence and mathematical theory of computation
Conditional rewriting logic as a unified model of concurrency
Selected papers of the Second Workshop on Concurrency and compositionality
The revised report on the syntactic theories of sequential control and state
Theoretical Computer Science
A theory for program and data type specification
Theoretical Computer Science - Selected papers on theoretical issues of design and implementation of symbolic computation systems
A theory of binding structures and applications to rewriting
Theoretical Computer Science
Research directions in concurrent object-oriented programming
Research directions in concurrent object-oriented programming
A syntactic approach to type soundness
Information and Computation
A variable typed logic of effects
Information and Computation
Communication and Concurrency
ERLANG for Concurrent Programming
ERLANG for Concurrent Programming
Abstraction and Modularity Mechanisms for Concurrent Computing
IEEE Parallel & Distributed Technology: Systems & Technology
The Extensible Services Switch in Carnot
IEEE Parallel & Distributed Technology: Systems & Technology
A Theory of Primitive Objects - Untyped and First-Order Systems
TACS '94 Proceedings of the International Conference on Theoretical Aspects of Computer Software
Concurrent Objects in a Process Calculus
TPPP '94 Proceedings of the International Workshop on Theory and Practice of Parallel Programming
An Object Calculus for Asynchronous Communication
ECOOP '91 Proceedings of the European Conference on Object-Oriented Programming
Towards a Theory of Actor Computation
CONCUR '92 Proceedings of the Third International Conference on Concurrency Theory
First-Class Synchronous Operations in Standard ML
First-Class Synchronous Operations in Standard ML
SEMANTICS OF COMMUNICATING PARALLEL PROCESSES
SEMANTICS OF COMMUNICATING PARALLEL PROCESSES
An Interpreter for Extended Lambda Calculus
An Interpreter for Extended Lambda Calculus
Foundations of Actor Semantics
Foundations of Actor Semantics
Programming and proving with function and control abstractions
Programming and proving with function and control abstractions
The essence of rum: a theory of the intensional and extensional aspects of lisp-type computation (program transformation, closure, continuation structure, comparison-relation)
Linguistic paradigms for programming complex distributed systems
ACM Computing Surveys (CSUR)
POPL '96 Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
On the verification of open distributed systems
SAC '98 Proceedings of the 1998 ACM symposium on Applied Computing
Formal Methods in System Design
An actor algebra for specifying distributed systems: The hurried philosophers case study
Concurrent object-oriented programming and petri nets
Formal reasoning about actor programs using temporal logic
Concurrent object-oriented programming and petri nets
Generic operational decomposition for concurrent systems: semantics and reflection
Progress in computer research
Trace and testing equivalence on asynchronous processes
Information and Computation
Actors: a model for reasoning about open distributed systems
Formal methods for distributed processing
Generic operational decomposition for concurrent systems: semantics and reflection
Progress in computer research
Programming dynamically reconfigurable open systems with SALSA
ACM SIGPLAN Notices
Towards reusable real-time objects
Annals of Software Engineering
A survey of theories for mobile agents
World Wide Web
Case Studies in Security and Resource Management for Mobile Object Systems
Autonomous Agents and Multi-Agent Systems
Composable Semantic Models for Actor Theories
Higher-Order and Symbolic Computation
Higher-Order and Symbolic Computation
Actor theories in rewriting logic
Theoretical Computer Science - Rewriting logic and its applications
Specification Diagrams for Actor Systems
Higher-Order and Symbolic Computation
Erratic fudgets: a semantic theory for an embedded coordination language
Science of Computer Programming - Special issue on coordination languages and architectures
ESOP '00 Proceedings of the 9th European Symposium on Programming Languages and Systems
Composition and Refinement for Partial Object Specifications
IPDPS '02 Proceedings of the 16th International Parallel and Distributed Processing Symposium
A Compositional Model for Confluent Dynamic Data-Flow Networks
MFCS '00 Proceedings of the 25th International Symposium on Mathematical Foundations of Computer Science
Process Algebraic Specification of the New Asynchronous CORBA Messaging Service
ECOOP '99 Proceedings of the 13th European Conference on Object-Oriented Programming
Towards a Proof-Theoretic Foundation for Actor Specification and Verification
Selected papers from the ESPRIT Project ModelAge Final Workshop on Formal Models of Agents
Toward Parametric Verification of Open Distributed Systems
COMPOS'97 Revised Lectures from the International Symposium on Compositionality: The Significant Difference
A Theory of "May" Testing for Asynchronous Languages
FoSSaCS '99 Proceedings of the Second International Conference on Foundations of Software Science and Computation Structure, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS'99
A Hierarchical Model for Coordination of Concurrent Activities
COORDINATION '99 Proceedings of the Third International Conference on Coordination Languages and Models
The Join Calculus: A Language for Distributed Mobile Programming
Applied Semantics, International Summer School, APPSEM 2000, Caminha, Portugal, September 9-15, 2000, Advanced Lectures
An Introduction to Functional Nets
Applied Semantics, International Summer School, APPSEM 2000, Caminha, Portugal, September 9-15, 2000, Advanced Lectures
Combining Graphical and Formal Development of Open Distributed Systems
IFM '02 Proceedings of the Third International Conference on Integrated Formal Methods
A compositional formalism for object viewpoints
FMOODS '02 Proceedings of the IFIP TC6/WG6.1 Fifth International Conference on Formal Methods for Open Object-Based Distributed Systems V
A theory of may testing for actors
FMOODS '02 Proceedings of the IFIP TC6/WG6.1 Fifth International Conference on Formal Methods for Open Object-Based Distributed Systems V
An integrated framework for formal development of open distributed systems
Proceedings of the 2003 ACM symposium on Applied computing
Asynchronous and deterministic objects
Proceedings of the 31st ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Proof-theoretic foundations for the design of actor systems
Mathematical Structures in Computer Science
Compilation and equivalence of imperative objects
Journal of Functional Programming
Efficient Decentralized Monitoring of Safety in Distributed Systems
Proceedings of the 26th International Conference on Software Engineering
Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
A scalable approach to multi-agent resource acquisition and control
Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems
ActorNet: an actor platform for wireless sensor networks
AAMAS '06 Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems
Creol: a type-safe object-oriented model for distributed concurrent systems
Theoretical Computer Science - Components and objects
Modeling and Verification of Reactive Systems using Rebeca
Fundamenta Informaticae
Worldwide computing: Adaptive middleware and programming technology for dynamic Grid environments
Scientific Programming - Dynamic Grids and Worldwide Computing
Coordinating mobile agents in interaction spaces
Science of Computer Programming
ACM Transactions on Autonomous and Adaptive Systems (TAAS)
Leveraging synchronous language principles for heterogeneous modeling and design of embedded systems
EMSOFT '07 Proceedings of the 7th ACM & IEEE international conference on Embedded software
Comparing Three Coordination Models: Reo, ARC, and RRD
Electronic Notes in Theoretical Computer Science (ENTCS)
An Open System Operational Semantics for an Object-Oriented and Component-Based Language
Electronic Notes in Theoretical Computer Science (ENTCS)
Bristlecone: A Language for Robust Software Systems
ECOOP '08 Proceedings of the 22nd European conference on Object-Oriented Programming
The intentional relationship of representation between the constructs of a language and reality
Data & Knowledge Engineering
Engineering of Software-Intensive Systems: State of the Art and Research Challenges
Software-Intensive Systems and New Computing Paradigms
Reactors: A data-oriented synchronous/asynchronous programming model for distributed applications
Theoretical Computer Science
Asynchronous sequential processes
Information and Computation
Classes and inheritance in actor-oriented design
ACM Transactions on Embedded Computing Systems (TECS)
Beernet: RMI-free peer-to-peer networks
Proceedings of the 1st International Workshop on Distributed Objects for the 21st Century
Transactional contexts: harnessing the power of context-oriented reflection
International Workshop on Context-Oriented Programming
Coordinating Asynchronous and Open Distributed Systems under Semiring-Based Timing Constraints
Electronic Notes in Theoretical Computer Science (ENTCS)
The ARC Programming Model -- Language Constructs for Coordination
Electronic Notes in Theoretical Computer Science (ENTCS)
Actor frameworks for the JVM platform: a comparative analysis
PPPJ '09 Proceedings of the 7th International Conference on Principles and Practice of Programming in Java
Intra-Object versus Inter-Object: Concurrency and Reasoning in Creol
Electronic Notes in Theoretical Computer Science (ENTCS)
Parallel programming with object assemblies
Proceedings of the 24th ACM SIGPLAN conference on Object oriented programming systems languages and applications
Functional Active Objects: Typing and Formalisation
Electronic Notes in Theoretical Computer Science (ENTCS)
Actors and Logical Analysis of Interactive Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
IOP: The InterOperability Platform & IMaude: An Interactive Extension of Maude
Electronic Notes in Theoretical Computer Science (ENTCS)
A Run-Time Environment for Concurrent Objects With Asynchronous Method Calls
Electronic Notes in Theoretical Computer Science (ENTCS)
PMaude: Rewrite-based Specification Language for Probabilistic Object Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
Mobile Agents in Interaction Spaces
Electronic Notes in Theoretical Computer Science (ENTCS)
Reactors: a data-oriented synchronous/asynchronous programming model for distributed applications
COORDINATION'07 Proceedings of the 9th international conference on Coordination models and languages
Rebeca: theory, applications, and tools
FMCO'06 Proceedings of the 5th international conference on Formal methods for components and objects
Coqa: concurrent objects with quantized atomicity
CC'08/ETAPS'08 Proceedings of the Joint European Conferences on Theory and Practice of Software 17th international conference on Compiler construction
Large-scale organizational computing requires unstratified reflection and strong paraconsistency
COIN'07 Proceedings of the 2007 international conference on Coordination, organizations, institutions, and norms in agent systems III
A thread calculus with molecular dynamics
Information and Computation
Bamboo: a data-centric, object-oriented approach to many-core software
PLDI '10 Proceedings of the 2010 ACM SIGPLAN conference on Programming language design and implementation
Computers and Electrical Engineering
Comparing three coordination models: Reo, ARC, and PBRD
Science of Computer Programming
Basset: a tool for systematic testing of actor programs
Proceedings of the eighteenth ACM SIGSOFT international symposium on Foundations of software engineering
Fundamenta Informaticae - Dependently Typed Programming
Decentralized runtime analysis of multithreaded applications
IPDPS'06 Proceedings of the 20th international conference on Parallel and distributed processing
Parallel computing with the Pi-calculus
Proceedings of the sixth workshop on Declarative aspects of multicore programming
Disciplined heterogeneous modeling
MODELS'10 Proceedings of the 13th international conference on Model driven engineering languages and systems: Part II
Inferring ownership transfer for efficient message passing
Proceedings of the 16th ACM symposium on Principles and practice of parallel programming
Some equivalences on ATC: actors with temporal constraints
SMO'05 Proceedings of the 5th WSEAS international conference on Simulation, modelling and optimization
Parallel and distributed programming extensions for mainstream languages based on pi-calculus
Proceedings of the 30th annual ACM SIGACT-SIGOPS symposium on Principles of distributed computing
EMSOFT '11 Proceedings of the ninth ACM international conference on Embedded software
Ten years of analyzing actors: Rebeca experience
Formal modeling
Mathematical models of object-based distributed systems
Formal modeling
Model feasible interactions in distributed real-time systems
Formal modeling
Towards a system model for ensembles
Formal modeling
Actor-eUML for concurrent programming
ER'11 Proceedings of the 30th international conference on Advances in conceptual modeling: recent developments and new directions
WM'05 Proceedings of the Third Biennial conference on Professional Knowledge Management
Evaluating ordering heuristics for dynamic partial-order reduction techniques
FASE'10 Proceedings of the 13th international conference on Fundamental Approaches to Software Engineering
Hierarchical resource usage coordination for large-scale multi-agent systems
MMAS'04 Proceedings of the First international conference on Massively Multi-Agent Systems
Automated systematic testing of open distributed programs
FASE'06 Proceedings of the 9th international conference on Fundamental Approaches to Software Engineering
ASPfun: A typed functional active object calculus
Science of Computer Programming
TransDPOR: a novel dynamic partial-order reduction technique for testing actor programs
FMOODS'12/FORTE'12 Proceedings of the 14th joint IFIP WG 6.1 international conference and Proceedings of the 32nd IFIP WG 6.1 international conference on Formal Techniques for Distributed Systems
Modeling and Verification of Reactive Systems using Rebeca
Fundamenta Informaticae
From actors to agent-oriented programming abstractions in simpAL
Proceedings of the 3rd annual conference on Systems, programming, and applications: software for humanity
AGERE!: programming based on actors, agents, and decentralized control
Proceedings of the 3rd annual conference on Systems, programming, and applications: software for humanity
Decidability problems for actor systems
CONCUR'12 Proceedings of the 23rd international conference on Concurrency Theory
Model-Based compatibility checking of system modifications
ISoLA'12 Proceedings of the 5th international conference on Leveraging Applications of Formal Methods, Verification and Validation: technologies for mastering change - Volume Part I
Domains: safe sharing among actors
Proceedings of the 2nd edition on Programming systems, languages and applications based on actors, agents, and decentralized control abstractions
A relational trace logic for simple hierarchical actor-based component systems
Proceedings of the 2nd edition on Programming systems, languages and applications based on actors, agents, and decentralized control abstractions
Proceedings of the 2nd edition on Programming systems, languages and applications based on actors, agents, and decentralized control abstractions
Leveraging actors for privacy compliance
Proceedings of the 2nd edition on Programming systems, languages and applications based on actors, agents, and decentralized control abstractions
Modeling and verification of probabilistic actor systems using prebeca
ICFEM'12 Proceedings of the 14th international conference on Formal Engineering Methods: formal methods and software engineering
BigActors: a model for structure-aware computation
Proceedings of the ACM/IEEE 4th International Conference on Cyber-Physical Systems
Why do scala developers mix the actor model with other concurrency models?
ECOOP'13 Proceedings of the 27th European conference on Object-Oriented Programming
Tanks: multiple reader, single writer actors
Proceedings of the 2013 workshop on Programming based on actors, agents, and decentralized control
Structured reasoning about actor systems
Proceedings of the 2013 workshop on Programming based on actors, agents, and decentralized control
Towards a compositional reflective architecture for actor-based systems
Proceedings of the 2013 workshop on Programming based on actors, agents, and decentralized control
Supporting many-to-many communication
Proceedings of the 2013 workshop on Programming based on actors, agents, and decentralized control
Hi-index | 0.00 |
We present an actor language which is an extension of a simple functional language, and provide an operational semantics for this extension. Actor configurations represent open distributed systems, by which we mean that the specification of an actor system explicitly takes into account the interface with external components. We study the composability of such systems. We define and study various notions of testing equivalence on actor expressions and configurations. The model we develop provides fairness. An important result is that the three forms of equivalence, namely, convex, must, and may equivalences, collapse to two in the presence of fairness. We further develop methods for proving laws of equivalence and provide example proofs to illustrate our methodology.