Gul A. Agha

Proceedings of the Companion to the 26th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2011

On the Energy Complexity of Parallel Algorithms.

[BibT_eX]

[DOI]

Mark R. Greenstreet

Proceedings of the International Conference on Parallel Processing, 2011

2010

Resilient localization for sensor networks in outdoor environments.

[BibT_eX]

[DOI]

ACM Trans. Sens. Networks, 2010

Integrating Encrypted Mobile Agents with Smart Spaces in a Multi-agent Simulator for Resource Management.

[BibT_eX]

[DOI]

Sherin M. Moussa

J. Softw., 2010

Towards optimizing energy costs of algorithms for shared memory architectures.

[BibT_eX]

[DOI]

Proceedings of the SPAA 2010: Proceedings of the 22nd Annual ACM Symposium on Parallelism in Algorithms and Architectures, 2010

Basset: a tool for systematic testing of actor programs.

[BibT_eX]

[DOI]

Proceedings of the 18th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2010

Reasoning about MDPs as Transformers of Probability Distributions.

[BibT_eX]

[DOI]

Proceedings of the QEST 2010, 2010

Mutation Operators for Actor Systems.

[BibT_eX]

[DOI]

Proceedings of the Third International Conference on Software Testing, 2010

Avoiding energy wastage in parallel applications.

[BibT_eX]

[DOI]

Proceedings of the International Green Computing Conference 2010, 2010

Evaluating Ordering Heuristics for Dynamic Partial-Order Reduction Techniques.

[BibT_eX]

[DOI]

Proceedings of the Fundamental Approaches to Software Engineering, 2010

2009

Actor frameworks for the JVM platform: a comparative analysis.

[BibT_eX]

[DOI]

Rajesh K. Karmani

Amin Shali

Proceedings of the 7th International Conference on Principles and Practice of Programming in Java, 2009

Integrating Encrypted Mobile Agents with Smart Homes.

[BibT_eX]

[DOI]

Sherin M. Moussa

Mohamed H. Abdelaziz

Proceedings of the NTMS 2009, 2009

An agent-based framework for inhabitants' untraceability in ubiquitous environments.

[BibT_eX]

[DOI]

Sherin M. Moussa

Mohamed Hashem

Proceedings of the MoMM'2009, 2009

A Framework for State-Space Exploration of Java-Based Actor Programs.

[BibT_eX]

[DOI]

Proceedings of the ASE 2009, 2009

Analysis of Parallel Algorithms for Energy Conservation in Scalable Multicore Architectures.

[BibT_eX]

[DOI]

Proceedings of the ICPP 2009, 2009

2008

Market-based coordination strategies for physical multi-agent systems.

[BibT_eX]

[DOI]

SIGBED Rev., 2008

Computing in pervasive cyberspace.

[BibT_eX]

[DOI]

Commun. ACM, 2008

A Robust Audit Mechanism to Prevent Malicious Behaviors in Multi-robot Systems.

[BibT_eX]

[DOI]

Proceedings of the Second IEEE International Conference on Self-Adaptive and Self-Organizing Systems, 2008

Passive Localization: Large Size Sensor Network Localization Based on Environmental Events.

[BibT_eX]

[DOI]

Proceedings of the 7th International Conference on Information Processing in Sensor Networks, 2008

LTLC: Linear Temporal Logic for Control.

[BibT_eX]

[DOI]

Proceedings of the Hybrid Systems: Computation and Control, 11th International Workshop, 2008

2007

Architecture design principles to support adaptive service orchestration in WSN applications.

[BibT_eX]

[DOI]

Kirill Mechitov

Reza Razavi

SIGBED Rev., 2007

On Scaling Multi-Agent Task Reallocation Using Market-Based Approach.

[BibT_eX]

[DOI]

Rajesh K. Karmani

Timo Latvala

Proceedings of the First International Conference on Self-Adaptive and Self-Organizing Systems, 2007

Supporting reconfigurable object distribution for customized web applications.

[BibT_eX]

[DOI]

Proceedings of the 2007 ACM Symposium on Applied Computing (SAC), 2007

A Markov Reward Model for Software Reliability.

[BibT_eX]

[DOI]

Proceedings of the 21th International Parallel and Distributed Processing Symposium (IPDPS 2007), 2007

Ambiance: A Mobile Agent Platform for End-User Programmable Ambient Systems.

[BibT_eX]

[DOI]

Proceedings of the Advances in Ambient Intelligence [best papers from AITamI@IJCAI 2007, 2007

Software Technology Track Introduction.

[BibT_eX]

[DOI]

Rick Kazman

Proceedings of the 40th Hawaii International International Conference on Systems Science (HICSS-40 2007), 2007

Towards Context-Aware Web Applications.

[BibT_eX]

[DOI]

Proceedings of the Distributed Applications and Interoperable Systems, 2007

2006

Online efficient predictive safety analysis of multithreaded programs.

[BibT_eX]

[DOI]

Int. J. Softw. Tools Technol. Transf., 2006

Agent framework services to reduce agent communication overhead in large-scale agent-based simulations.

[BibT_eX]

[DOI]

Simul. Model. Pract. Theory, 2006

Model-Checking Markov Chains in the Presence of Uncertainties.

[BibT_eX]

[DOI]

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2006

Scalable Modeling and Performance Evaluation of Wireless Sensor Networks.

[BibT_eX]

[DOI]

Proceedings of the 12th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2006), 2006

State Aware Data Dissemination over Structured Overlays.

[BibT_eX]

[DOI]

Liping Chen

Proceedings of the Sixth IEEE International Conference on Peer-to-Peer Computing (P2P 2006), 2006

Supporting Reconfigurable Object Distribution for Customizable Web Applications.

[BibT_eX]

[DOI]

Proceedings of the On the Move to Meaningful Internet Systems 2006: OTM 2006 Workshops, 2006

Ambiance: adaptive object model-based platform for macroprogramming sensor networks.

[BibT_eX]

[DOI]

Proceedings of the Companion to the 21th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2006

Decentralized runtime analysis of multithreaded applications.

[BibT_eX]

[DOI]

Proceedings of the 20th International Parallel and Distributed Processing Symposium (IPDPS 2006), 2006

A Race-Detection and Flipping Algorithm for Automated Testing of Multi-threaded Programs.

[BibT_eX]

[DOI]

Proceedings of the Hardware and Software, 2006

Track Introduction.

[BibT_eX]

[DOI]

Proceedings of the 39th Hawaii International International Conference on Systems Science (HICSS-39 2006), 2006

Reflecting on Aspect-Oriented Programming, Metaprogramming, and Adaptive Distributed Monitoring.

[BibT_eX]

[DOI]

Bill Donkervoet

Proceedings of the Formal Methods for Components and Objects, 5th International Symposium, 2006

Automated Systematic Testing of Open Distributed Programs.

[BibT_eX]

[DOI]

Proceedings of the Fundamental Approaches to Software Engineering, 2006

CUTE and jCUTE: Concolic Unit Testing and Explicit Path Model-Checking Tools.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification, 18th International Conference, 2006

ActorNet: an actor platform for wireless sensor networks.

[BibT_eX]

[DOI]

Proceedings of the 5th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2006), 2006

A Study of Coordinated Dynamic Market-Based Task Assignment in Massively Multi-Agent Systems.

[BibT_eX]

[DOI]

Proceedings of the Massively Multi-Agent Technology, AAMAS Workshops, 2006

2005

PMaude: Rewrite-based Specification Language for Probabilistic Object Systems.

[BibT_eX]

[DOI]

José Meseguer

Proceedings of the Third Workshop on Quantitative Aspects of Programming Languages, 2005

Actor Model and Knowledge Management Systems: Social Interaction as a Framework for Knowledge Integration.

[BibT_eX]

[DOI]

Irma Becerra-Fernandez

Te Wei Wang

Thant Sin

Proceedings of the Professional Knowledge Management, Third Biennial Conference, 2005

Actor Model and Knowledge Management Systems: Social Interaction as a Framework for Knowledge Integration.

[BibT_eX]

Irma Becerra-Fernandez

Te Wei Wang

Proceedings of the WM 2005: Professional Knowledge Management - Experiences and Visions, Contributions to the 3rd Conference Professional Knowledge Management, 2005

CHAMELEON: A Self-Evolving, Fully-Adaptive Resource Arbitrator for Storage Systems.

[BibT_eX]

[DOI]

Proceedings of the 2005 USENIX Annual Technical Conference, 2005

On Computational Complexity of Counting Fixed Points in Symmetric Boolean Graph Automata.

[BibT_eX]

[DOI]

Proceedings of the Unconventional Computation, 4th International Conference, 2005

Using Language Inference to Verify Omega-Regular Properties.

[BibT_eX]

[DOI]

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2005

CUTE: a concolic unit testing engine for C.

[BibT_eX]

[DOI]

Darko Marinov

Proceedings of the 10th European Software Engineering Conference held jointly with 13th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2005

VESTA: A Statistical Model-checker and Analyzer for Probabilistic Systems.

[BibT_eX]

[DOI]

Proceedings of the Second International Conference on the Quantitative Evaluaiton of Systems (QEST 2005), 2005

iLTLChecker: A Probabilistic Model Checker for Multiple DTMCs.

[BibT_eX]

[DOI]

Proceedings of the Second International Conference on the Quantitative Evaluaiton of Systems (QEST 2005), 2005

AUTOLOOP: Automated Action Selection in the "Observe-Analyze-Act" Loop for Storage Systems.

[BibT_eX]

[DOI]

Li Yin

John Palmer

Randy H. Katz

Proceedings of the 6th IEEE International Workshop on Policies for Distributed Systems and Networks (POLICY 2005), 2005

ARA: A Robust Audit to Prevent Free-Riding in P2P Networks.

[BibT_eX]

[DOI]

Proceedings of the Fifth IEEE International Conference on Peer-to-Peer Computing (P2P 2005), 31 August, 2005

An underlay for sensor networks: localized protocols for maintenance and usage.

[BibT_eX]

[DOI]

Christo Frank Devaraj

Indranil Gupta

Mahwish Nagda

Proceedings of the IEEE 2nd International Conference on Mobile Adhoc and Sensor Systems, 2005

Monitormining: creating domain knowledge for system automation using a gray-box approach.

[BibT_eX]

[DOI]

Xiaoxin Yin

John Palmer

Proceedings of the Integrated Network Management, 2005

Software Technology Track.

[BibT_eX]

[DOI]

Proceedings of the 38th Hawaii International Conference on System Sciences (HICSS-38 2005), 2005

Detecting Errors in Multithreaded Programs by Generalized Predictive Analysis of Executions.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 2005

Computational Complexity of Predicting Some Properties of Large-Scale Agent Ensembles' Dynamical Evolution.

[BibT_eX]

Proceedings of the EUMAS 2005, 2005

On Statistical Model Checking of Stochastic Systems.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification, 17th International Conference, 2005

2004

Worldwide Computing Middleware.

[BibT_eX]

[DOI]

Nalini Venkatasubramanian

Proceedings of the Practical Handbook of Internet Computing., 2004

A formal model for reasoning about adaptive QoS-enabled middleware.

[BibT_eX]

[DOI]

Carolyn L. Talcott

ACM Trans. Softw. Eng. Methodol., 2004

Towards a hierarchical taxonomy of autonomous agents.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Systems, 2004

Efficient Agent Communication in Multi-agent Systems.

[BibT_eX]

[DOI]

Amr Ahmed Momen

Proceedings of the Software Engineering for Multi-Agent Systems III, 2004

An Adaptive Programming Framework for Web Applications.

[BibT_eX]

[DOI]

Proceedings of the 2004 Symposium on Applications and the Internet (SAINT 2004), 2004

Learning Continuous Time Markov Chains from Sample Executions.

[BibT_eX]

[DOI]

Proceedings of the 1st International Conference on Quantitative Evaluation of Systems (QEST 2004), 2004

DecisionQoS: An Adaptive, Self-Evolving QoS Arbitration Module for Storage Systems.

[BibT_eX]

[DOI]

Guillermo A. Alvarez

Proceedings of the 5th IEEE International Workshop on Policies for Distributed Systems and Networks (POLICY 2004), 2004

Maximal Clique Based Distributed Coalition Formation for Task Allocation in Large-Scale Multi-agent Systems.

[BibT_eX]

[DOI]

Proceedings of the Massively Multi-Agent Systems I, First International Workshop, 2004

Adaptive Agent Allocation for Massively Multi-agent Applications.

[BibT_eX]

[DOI]

Proceedings of the Massively Multi-Agent Systems I, First International Workshop, 2004

Concurrency vs. Sequential Interleavings in 1-D Threshold Cellular Automata.

[BibT_eX]

[DOI]

Proceedings of the 18th International Parallel and Distributed Processing Symposium (IPDPS 2004), 2004

Efficient Decentralized Monitoring of Safety in Distributed Systems.

[BibT_eX]

[DOI]

Proceedings of the 26th International Conference on Software Engineering (ICSE 2004), 2004

Learning to Verify Safety Properties.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods and Software Engineering, 2004

Linear Inequality LTL (iLTL): A Model Checker for Discrete Time Markov Chains.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods and Software Engineering, 2004

ATSpace: A Middle Agent to Support Application Oriented Matchmaking and Brokering Services.

[BibT_eX]

[DOI]

Amr Abdel Momen

Proceedings of the 2004 IEEE/WIC/ACM International Conference on Intelligent Agent Technology (IAT 2004), 2004

Software Technology Track Introduction.

[BibT_eX]

[DOI]

Proceedings of the 37th Hawaii International Conference on System Sciences (HICSS-37 2004), 2004

Actively Learning to Verify Safety for FIFO Automata.

[BibT_eX]

[DOI]

Proceedings of the FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science, 2004

Statistical Model Checking of Black-Box Probabilistic Systems.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification, 16th International Conference, 2004

An Algebraic Theory of Actors and Its Application to a Simple Object-Based Language.

[BibT_eX]

[DOI]

Prasanna Thati

Proceedings of the From Object-Orientation to Formal Methods, 2004

Decentralized Resource Control for Multi-Agent Systems.

[BibT_eX]

[DOI]

Proceedings of the 3rd International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2004), 2004

SENS: A Sensor, Environment and Network Simulator.

[BibT_eX]

[DOI]

Sameer Sundresh

Proceedings of the Proceedings 37th Annual Simulation Symposium (ANSS-37 2004), 2004

Techniques for Executing and Reasoning about Specification Diagrams.

[BibT_eX]

[DOI]

Prasanna Thati

Carolyn L. Talcott

Proceedings of the Algebraic Methodology and Software Technology, 2004

Characterizing Configuration Spaces of Simple Threshold Cellular Automata.

[BibT_eX]

[DOI]

Proceedings of the Cellular Automata, 2004

2003

Automated Verification of the Dependability of Object-Oriented Real-Time Systems.

[BibT_eX]

[DOI]

Proceedings of the 9th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems (WORDS Fall 2003), 2003

Runtime safety analysis of multithreaded programs.

[BibT_eX]

[DOI]

Proceedings of the 11th ACM SIGSOFT Symposium on Foundations of Software Engineering 2003 held jointly with 9th European Software Engineering Conference, 2003

Cooperative tracking with binary-detection sensor networks.

[BibT_eX]

[DOI]

Proceedings of the 1st International Conference on Embedded Networked Sensor Systems, 2003

Specification and Validation of Fault-Tolerant Software Architectures Based on Actor Model.

[BibT_eX]

Proceedings of the Fifteenth International Conference on Software Engineering & Knowledge Engineering (SEKE'2003), 2003

SynchNet: A Petri Net Based Coordination Language for Distributed Objects.

[BibT_eX]

[DOI]

Reza Ziaei

Proceedings of the Generative Programming and Component Engineering, 2003

A Rewriting Based Model for Probabilistic Distributed Object Systems.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 2003

Generating Optimal Linear Temporal Logic Monitors by Coinduction.

[BibT_eX]

[DOI]

Proceedings of the Advances in Computing Science, 2003

2002

Introduction.

[BibT_eX]

[DOI]

Commun. ACM, 2002

Case Studies in Security and Resource Management for Mobile Object Systems.

[BibT_eX]

[DOI]

Auton. Agents Multi Agent Syst., 2002

Using passive object garbage collection algorithms for garbage collection of active objects.

[BibT_eX]

[DOI]

Abhay Vardhan

Proceedings of The Workshop on Memory Systems Performance (MSP 2002), 2002

A Theory of May Testing for Actors.

[BibT_eX]

Prasannaa Thati

Reza Ziaei

Proceedings of the Formal Methods for Open Object-Based Distributed Systems V, 2002

A Theory of May Testing for Asynchronous Calculi with Locality and No Name Matching.

[BibT_eX]

[DOI]

Prasannaa Thati

Reza Ziaei

Proceedings of the Algebraic Methodology and Software Technology, 2002

2001

Programming Dynamically Reconfigurable Open systems with SALSA.

[BibT_eX]

[DOI]

ACM SIGPLAN Notices, 2001

Customizable middleware for modular distributed software.

[BibT_eX]

[DOI]

Daniel C. Sturman

Commun. ACM, 2001

Crawlets: Agents for High Performance Web Search Engines.

[BibT_eX]

[DOI]

Prasannaa Thati

Proceedings of the Mobile Agents, 5th International Conference, 2001

The World Wide Computer: Prospects for Parallel and Distributed Computing on the Web.

[BibT_eX]

[DOI]

Proceedings of the First IEEE International Symposium on Cluster Computing and the Grid (CCGrid 2001), 2001

Agent Naming and Coordination: Actor Based Models and Infrastructures.

[BibT_eX]

Nadeem Jamali

Proceedings of the Coordination of Internet Agents: Models, Technologies, and Applications, 2001

2000

Object Oriented Architectures, Tools, and Applications.

[BibT_eX]

[DOI]

Proceedings of the Euro-Par 2000, Parallel Processing, 6th International Euro-Par Conference, Munich, Germany, August 29, 2000

1999

Actors: A unifying model for parallel and distributed computing.

[BibT_eX]

[DOI]

J. Syst. Archit., 1999

A actor-based architecture for customizing and controlling agent ensembles.

[BibT_eX]

[DOI]

Nadeem Jamali

Prasanna Thati

IEEE Intell. Syst., 1999

Towards Reusable Real-Time Objects.

[BibT_eX]

[DOI]

Brian Nielsen

Ann. Softw. Eng., 1999

A Hierarchical Model for Coordination of Concurrent Activities.

[BibT_eX]

[DOI]

Proceedings of the Coordination Languages and Models, Third International Conference, 1999

1998

Editorial - High Availability in CORBA.

[BibT_eX]

Rachid Guerraoui

Theory Pract. Object Syst., 1998

What after Java? From Objects to Actors.

[BibT_eX]

[DOI]

Comput. Networks, 1998

Customizaton and Compositon of Distributed Objects: Middleware Abstractions for Policy Management.

[BibT_eX]

[DOI]

Proceedings of the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 1998

Modular Construction and Composition of Distributed Software Architectures.

[BibT_eX]

[DOI]

Proceedings of the International Symposium on Software Engineering for Parallel and Distributed Systems, 1998

Specification of Real-Time Interaction Constraints.

[BibT_eX]

[DOI]

Brian Nielsen

Proceedings of the 1st International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC '98), 1998

Modular Heterogeneous System Development: A Critical Analysis of Java.

[BibT_eX]

[DOI]

Proceedings of the Seventh Heterogeneous Computing Workshop, 1998

Case Studies in Security and Resource Management for Mobile Objects.

[BibT_eX]

[DOI]

Proceedings of the Object-Oriented Technology, ECOOP'98 Workshop Reader, 1998

1997

A Foundation for Actor Computation.

[BibT_eX]

[DOI]

J. Funct. Program., 1997

Dependable distributed object systems.

[BibT_eX]

[DOI]

Rachid Guerraoui

Jean-Charles Fabre

Proceedings of the Addendum to the 1997 ACM SIGPLAN Conference on Object-Oriented Programming, 1997

Workshop on Software Engineering for Parallel and Distributed Systems.

[BibT_eX]

[DOI]

Stefano Russo

Proceedings of the Pulling Together, 1997

1996

A modular approach to real-time synchronization.

[BibT_eX]

[DOI]

Masahiko Saito

OOPS Messenger, 1996

A Modular Approach to Programming Distributed Real-Time Systems.

[BibT_eX]

[DOI]

Masahiko Saito

J. Parallel Distributed Comput., 1996

A Visualization Model for Concurrent Systems.

[BibT_eX]

[DOI]

Inf. Sci., 1996

Strategic directions.

[BibT_eX]

[DOI]

IEEE Parallel Distributed Technol. Syst. Appl., 1996

Our magazine's new face.

[BibT_eX]

[DOI]

IEEE Parallel Distributed Technol. Syst. Appl., 1996

The elusive goal of intelligence.

[BibT_eX]

[DOI]

IEEE Parallel Distributed Technol. Syst. Appl., 1996

The mountains are in labor.

[BibT_eX]

[DOI]

IEEE Parallel Distributed Technol. Syst. Appl., 1996

Linguistic Paradigms for Programming Complex Distributed Systems.

[BibT_eX]

[DOI]

ACM Comput. Surv., 1996

Parallel Implementations of Irregular Problems Using High-Level Actor Language.

[BibT_eX]

[DOI]

Proceedings of IPPS '96, 1996

Efficient compilation of concurrent call/return communication in actor-based programming languages.

[BibT_eX]

[DOI]

Proceedings of the 3rd International Conference on High Performance Computing, 1996

A Modular Approach for Programming Embedded Systems.

[BibT_eX]

[DOI]

Proceedings of the Lectures on Embedded Systems, European Educational Forum, 1996

Modeling Concurrent Systems: Actors, Nets, and the Problem of Abstraction and Composition.

[BibT_eX]

[DOI]

Proceedings of the Application and Theory of Petri Nets 1996, 1996

1995

Different approaches around the world.

[BibT_eX]

[DOI]

IEEE Parallel Distributed Technol. Syst. Appl., 1995

Efficient Support of Location Transparency in Concurrent Object-Oriented Programming Languages.

[BibT_eX]

[DOI]

Proceedings of the Proceedings Supercomputing '95, San Diego, CA, USA, December 4-8, 1995, 1995

RTsynchronizer: Language Support for Real-Time Specifications in Distributed Systems.

[BibT_eX]

[DOI]

Proceedings of the ACM SIGPLAN 1995 Workshop on Languages, 1995

1994

A Methodology for Programming Scalable Architectures.

[BibT_eX]

[DOI]

J. Parallel Distributed Comput., 1994

Open Heterogeneous Computing in Actor Space.

[BibT_eX]

[DOI]

Christian J. Callsen

J. Parallel Distributed Comput., 1994

A Protocol Description Language for Customizing Semantics.

[BibT_eX]

[DOI]

Daniel C. Sturman

Proceedings of the 13th Symposium on Reliable Distributed Systems, 1994

Abstracting Interactions Based on Message Sets.

[BibT_eX]

[DOI]

Svend Frølund

Proceedings of the Object-Based Models and Languages for Concurrent Systems, 1994

Actor Languages for Specification of Parallel Computations.

[BibT_eX]

[DOI]

Proceedings of the Specification of Parallel Algorithms, 1994

1993

Abstraction and modularity mechanisms for concurrent computing.

[BibT_eX]

[DOI]

IEEE Parallel Distributed Technol. Syst. Appl., 1993

ActorSpaces: An Open Distributed Programming Paradigm.

[BibT_eX]

[DOI]

Christian J. Callsen

Proceedings of the Fourth ACM SIGPLAN Symposium on Principles & Practice of Parallel Programming (PPOPP), 1993

A Language Framework for Multi-Object Coordination.

[BibT_eX]

[DOI]

Svend Frølund

Proceedings of the ECOOP'93, 1993

1992

Visualizing actor programs using predicate transition nets.

[BibT_eX]

[DOI]

Shakuntala Miriyala

Yamina Sami

J. Vis. Lang. Comput., 1992

Comilation of a Highly Parallel Actor-Based Language.

[BibT_eX]

[DOI]

Won Kim

Nalini Venkatasubramanian

Proceedings of the Languages and Compilers for Parallel Computing, 1992

Scalable Distributed Garbage Collection for Systems of Active Objects.

[BibT_eX]

[DOI]

Carolyn L. Talcott

Proceedings of the Memory Management, 1992

HAL: A High-Level Actor Language and Its Distributed Implementation.

[BibT_eX]

Christopher R. Houck

Proceedings of the 1992 International Conference on Parallel Processing, 1992

Formal methods for Actor systems: A progress report.

[BibT_eX]

Proceedings of the Formal Description Techniques, 1992

A Reflective Model of Inheritance.

[BibT_eX]

[DOI]

Suresh Jagannathan

Proceedings of the ECOOP '92, European Conference on Object-Oriented Programming, Utrecht, The Netherlands, June 29, 1992

Towards a Theory of Actor Computation.

[BibT_eX]

[DOI]

Proceedings of the CONCUR '92, 1992

1991

Efficient algorithms for parallel sorting on mesh multicomputers.

[BibT_eX]

[DOI]

Int. J. Parallel Program., 1991

Distributed Execution of Actor Programs.

[BibT_eX]

[DOI]

Christopher R. Houck

Proceedings of the Languages and Compilers for Parallel Computing, 1991

Scalability of Parallel Sorting on Mesh Multicomputers.

[BibT_eX]

[DOI]

Proceedings of the Fifth International Parallel Processing Symposium, Proceedings, Anaheim, California, USA, April 30, 1991

1990

OOPSLA panel on object-based concurrent programming.

[BibT_eX]

[DOI]

Proceedings of the Workshop on Object-based Concurrent Programming, 1990

Concurrent Object-Oriented Programming.

[BibT_eX]

[DOI]

Commun. ACM, 1990

The Structure and Semantics of Actor Languages.

[BibT_eX]

[DOI]

Proceedings of the Foundations of Object-Oriented Languages, 1990

Foundations of Concurrent Object-Oriented Programming (Panel).

[BibT_eX]

Proceedings of the Conference on Object-Oriented Programming Systems, 1990

Foundations of object-based concurrent programming (panel session).

[BibT_eX]

[DOI]

Proceedings of the European Conference on Object-Oriented Programming Addendum: Systems, 1990

ACTORS - a model of concurrent computation in distributed systems.

[BibT_eX]

MIT Press series in artificial intelligence, MIT Press, ISBN: 978-0-262-01092-4, 1990

1989

Supporting Multiparadigm Programming on Actor Architectures.

[BibT_eX]

[DOI]

Proceedings of the PARLE '89: Parallel Architectures and Languages Europe, 1989

1988

Rosette: An object-oriented concurrent systems architecture.

[BibT_eX]

[DOI]

Proceedings of the 1988 ACM SIGPLAN Workshop on Object-based Concurrent Programming, 1988

Foundational issues in concurrent computing.

[BibT_eX]

[DOI]

Proceedings of the 1988 ACM SIGPLAN Workshop on Object-based Concurrent Programming, 1988

Guarded Horn Clause Languages: Are They Deductive and Logical?

[BibT_eX]

Carl Hewitt

Proceedings of the International Conference on Fifth Generation Computer Systems, 1988

The Relation between Problems in Large-Scale Concurrent Systems and Distributed Databases.

[BibT_eX]

[DOI]

Proceedings of the International Symposium on Databases in Parallel and Distributed Systems, 1988

1987

Actors: A Conceptual Foundation for Concurrent Object-Oriented Programming.

[BibT_eX]

Carl Hewitt

Proceedings of the Research Directions in Object-Oriented Programming, 1987

1986

Fair concurrency in actors (abstract only): eager evaluation producers strong convergence.

[BibT_eX]

[DOI]

Proceedings of the 1986 SIGPLAN Workshop on Object-Oriented Programming, 1986

An overview of actor languages.

[BibT_eX]

[DOI]

Proceedings of the 1986 SIGPLAN Workshop on Object-Oriented Programming, 1986

1985

Actors: a Model of Concurrent Computation in Distributed Systems (Parallel Processing, Semantics, Open, Programming Languages, Artificial Intelligence).

[BibT_eX]

[DOI]

PhD thesis, 1985

A Message-Passing Paradigm for Object Management.

[BibT_eX]

[DOI]