Gul A. Agha

According to our database1, Gul A. Agha
  • authored at least 198 papers between 1984 and 2018.
  • has a "Dijkstra number"2 of three.

Awards

IEEE Fellow

IEEE Fellow 2002, "For contributions to the theory and practice of concurrent programming.".

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

2018
A Survey of Statistical Model Checking.
ACM Trans. Model. Comput. Simul., 2018

2017
A compositional approach for modeling and timing analysis of wireless sensor and actuator networks.
SIGBED Review, 2017

Actor-Oriented Programming for the Internet of Things.
Proceedings of the 29th International Conference on Software Engineering and Knowledge Engineering, 2017

2016
Parameterized, concurrent session types for asynchronous multi-actor interactions.
Sci. Comput. Program., 2016

Schedulability Analysis of Distributed Real-Time Sensor Network Applications Using Actor-Based Model Checking.
Proceedings of the Model Checking Software - 23rd International Symposium, 2016

Abstractions, Semantic Models and Analysis Tools for Concurrent Systems: Progress and Open Problems - (Extended Abstract).
Proceedings of the Software Engineering and Formal Methods - 14th International Conference, 2016

Introduction to the Software Technology Track.
Proceedings of the 49th Hawaii International Conference on System Sciences, 2016

2015
Special issue on programming based on actors, agents and decentralized control.
Sci. Comput. Program., 2015

A Novel Technique for Human Traffic based Radio Map Updating in Wi-Fi Indoor Positioning Systems.
TIIS, 2015

Space division and dimensional reduction methods for indoor positioning system.
Proceedings of the 2015 IEEE International Conference on Communications, 2015

Introduction to the Software Technology Track.
Proceedings of the 48th Hawaii International Conference on System Sciences, 2015

2014
Solving complex path conditions through heuristic search on induced polytopes.
Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering, (FSE-22), Hong Kong, China, November 16, 2014

Targeted test input generation using symbolic-concrete backward execution.
Proceedings of the ACM/IEEE International Conference on Automated Software Engineering, 2014

Actors Programming for the Mobile Cloud.
Proceedings of the IEEE 13th International Symposium on Parallel and Distributed Computing, 2014

Introduction to Software Technology Track.
Proceedings of the 47th Hawaii International Conference on System Sciences, 2014

Design and Implementation of a Mobile Actor Platform for Wireless Sensor Networks.
Proceedings of the Concurrent Objects and Beyond, 2014

Towards a Flexible Fine-Grained Access Control System for Modern Cloud Applications.
Proceedings of the 2014 IEEE 7th International Conference on Cloud Computing, Anchorage, AK, USA, June 27, 2014

2013
Performance evaluation of sensor networks by statistical modeling and euclidean model checking.
TOSN, 2013

Preface to the special issue on Coordination Models and Languages (Coordination 2010).
Sci. Comput. Program., 2013

Automated inference of atomic sets for safe concurrent execution.
Proceedings of the ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering, 2013

Realistic case studies of wireless structural control.
Proceedings of the ACM/IEEE 4th International Conference on Cyber-Physical Systems (with CPS Week 2013), 2013

Introduction to Software Technology Track.
Proceedings of the 46th Hawaii International Conference on System Sciences, 2013

Euclidean Model Checking: A Scalable Method for Verifying Quantitative Properties in Probabilistic Systems.
Proceedings of the Algebraic Informatics - 5th International Conference, 2013

2012
Parameterized Concurrent Multi-Party Session Types
Proceedings of the Proceedings 11th International Workshop on Foundations of Coordination Languages and Self Adaptation, 2012

How well can congestion pricing neutralize denial of service attacks?
Proceedings of the ACM SIGMETRICS/PERFORMANCE Joint International Conference on Measurement and Modeling of Computer Systems, 2012

Building portable middleware services for heterogeneous cyber-physical systems.
Proceedings of the Third International Workshop on Software Engineering for Sensor Network Applications, 2012

The time-keeping anomaly of energy-saving sensors: Manifestation, solution, and a structural monitoring case study.
Proceedings of the 9th Annual IEEE Communications Society Conference on Sensor, 2012

AGERE!: programming based on actors, agents, and decentralized control.
Proceedings of the Conference on Systems, 2012

TransDPOR: A Novel Dynamic Partial-Order Reduction Technique for Testing Actor Programs.
Proceedings of the Formal Techniques for Distributed Systems, 2012

Scoped Synchronization Constraints for Large Scale Actor Systems.
Proceedings of the Coordination Models and Languages - 14th International Conference, 2012

An Architecture for Dynamic Service-Oriented Computing in Networked Embedded Systems.
Proceedings of the Software Service and Application Engineering, 2012

2011
Actors.
Proceedings of the Encyclopedia of Parallel Computing, 2011

Verifying the Evolution of Probability Distributions Governed by a DTMC.
IEEE Trans. Software Eng., 2011

Model Checking MDPs with a Unique Compact Invariant Set of Distributions.
Proceedings of the Eighth International Conference on Quantitative Evaluation of Systems, 2011

Inferring ownership transfer for efficient message passing.
Proceedings of the 16th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2011

AGERE! (actors and agents reloaded): splash 2011 workshop on programming systems, languages and applications based on actors, agents and decentralized control.
Proceedings of the Companion to the 26th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2011

Agere! (actors and agents reloaded): splash 2011 workshop on programming systems, languages and applications based on actors, agents and decentralized control.
Proceedings of the Conference on Systems, 2011

On the Energy Complexity of Parallel Algorithms.
Proceedings of the International Conference on Parallel Processing, 2011

2010
Resilient localization for sensor networks in outdoor environments.
TOSN, 2010

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

Towards optimizing energy costs of algorithms for shared memory architectures.
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.
Proceedings of the 18th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2010

Reasoning about MDPs as Transformers of Probability Distributions.
Proceedings of the QEST 2010, 2010

Mutation Operators for Actor Systems.
Proceedings of the Third International Conference on Software Testing, 2010

Avoiding energy wastage in parallel applications.
Proceedings of the International Green Computing Conference 2010, 2010

Evaluating Ordering Heuristics for Dynamic Partial-Order Reduction Techniques.
Proceedings of the Fundamental Approaches to Software Engineering, 2010

2009
Actor frameworks for the JVM platform: a comparative analysis.
Proceedings of the 7th International Conference on Principles and Practice of Programming in Java, 2009

Integrating Encrypted Mobile Agents with Smart Homes.
Proceedings of the NTMS 2009, 2009

An agent-based framework for inhabitants' untraceability in ubiquitous environments.
Proceedings of the MoMM'2009, 2009

A Framework for State-Space Exploration of Java-Based Actor Programs.
Proceedings of the ASE 2009, 2009

Analysis of Parallel Algorithms for Energy Conservation in Scalable Multicore Architectures.
Proceedings of the ICPP 2009, 2009

2008
Market-based coordination strategies for physical multi-agent systems.
SIGBED Review, 2008

Computing in pervasive cyberspace.
Commun. ACM, 2008

A Robust Audit Mechanism to Prevent Malicious Behaviors in Multi-robot Systems.
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.
Proceedings of the 7th International Conference on Information Processing in Sensor Networks, 2008

LTLC: Linear Temporal Logic for Control.
Proceedings of the Hybrid Systems: Computation and Control, 11th International Workshop, 2008

2007
Architecture design principles to support adaptive service orchestration in WSN applications.
SIGBED Review, 2007

On Scaling Multi-Agent Task Reallocation Using Market-Based Approach.
Proceedings of the First International Conference on Self-Adaptive and Self-Organizing Systems, 2007

Supporting reconfigurable object distribution for customized web applications.
Proceedings of the 2007 ACM Symposium on Applied Computing (SAC), 2007

A Markov Reward Model for Software Reliability.
Proceedings of the 21th International Parallel and Distributed Processing Symposium (IPDPS 2007), 2007

Ambiance: A Mobile Agent Platform for End-User Programmable Ambient Systems.
Proceedings of the Advances in Ambient Intelligence [best papers from AITamI@IJCAI 2007, 2007

Software Technology Track Introduction.
Proceedings of the 40th Hawaii International International Conference on Systems Science (HICSS-40 2007), 2007

Towards Context-Aware Web Applications.
Proceedings of the Distributed Applications and Interoperable Systems, 2007

2006
Online efficient predictive safety analysis of multithreaded programs.
STTT, 2006

Agent framework services to reduce agent communication overhead in large-scale agent-based simulations.
Simulation Modelling Practice and Theory, 2006

PMaude: Rewrite-based Specification Language for Probabilistic Object Systems.
Electr. Notes Theor. Comput. Sci., 2006

Model-Checking Markov Chains in the Presence of Uncertainties.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2006

Scalable Modeling and Performance Evaluation of Wireless Sensor Networks.
Proceedings of the 12th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2006), 2006

State Aware Data Dissemination over Structured Overlays.
Proceedings of the Sixth IEEE International Conference on Peer-to-Peer Computing (P2P 2006), 2006

Supporting Reconfigurable Object Distribution for Customizable Web Applications.
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.
Proceedings of the Companion to the 21th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2006

Decentralized runtime analysis of multithreaded applications.
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.
Proceedings of the Hardware and Software, 2006

Track Introduction.
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.
Proceedings of the Formal Methods for Components and Objects, 5th International Symposium, 2006

Automated Systematic Testing of Open Distributed Programs.
Proceedings of the Fundamental Approaches to Software Engineering, 2006

CUTE and jCUTE: Concolic Unit Testing and Explicit Path Model-Checking Tools.
Proceedings of the Computer Aided Verification, 18th International Conference, 2006

ActorNet: an actor platform for wireless sensor networks.
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.
Proceedings of the Massively Multi-Agent Technology, AAMAS Workshops, 2006

2005
Actor Model and Knowledge Management Systems: Social Interaction as a Framework for Knowledge Integration.
Proceedings of the Professional Knowledge Management, Third Biennial Conference, 2005

Actor Model and Knowledge Management Systems: Social Interaction as a Framework for Knowledge Integration.
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.
Proceedings of the 2005 USENIX Annual Technical Conference, 2005

On Computational Complexity of Counting Fixed Points in Symmetric Boolean Graph Automata.
Proceedings of the Unconventional Computation, 4th International Conference, 2005

Using Language Inference to Verify Omega-Regular Properties.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2005

CUTE: a concolic unit testing engine for C.
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.
Proceedings of the Second International Conference on the Quantitative Evaluaiton of Systems (QEST 2005), 2005

iLTLChecker: A Probabilistic Model Checker for Multiple DTMCs.
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.
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.
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.
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.
Proceedings of the Integrated Network Management, 2005

Resilient Localization for Sensor Networks in Outdoor Environments.
Proceedings of the 25th International Conference on Distributed Computing Systems (ICDCS 2005), 2005

Software Technology Track.
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.
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.
Proceedings of the EUMAS 2005, 2005

On Statistical Model Checking of Stochastic Systems.
Proceedings of the Computer Aided Verification, 17th International Conference, 2005

2004
Worldwide Computing Middleware.
Proceedings of the Practical Handbook of Internet Computing., 2004

A formal model for reasoning about adaptive QoS-enabled middleware.
ACM Trans. Softw. Eng. Methodol., 2004

Online Efficient Predictive Safety Analysis of Multithreaded Programs.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2004

Towards a hierarchical taxonomy of autonomous agents.
Proceedings of the IEEE International Conference on Systems, 2004

Efficient Agent Communication in Multi-agent Systems.
Proceedings of the Software Engineering for Multi-Agent Systems III, 2004

An Adaptive Programming Framework for Web Applications.
Proceedings of the 2004 Symposium on Applications and the Internet (SAINT 2004), 2004

Learning Continuous Time Markov Chains from Sample Executions.
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.
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.
Proceedings of the Massively Multi-Agent Systems I, First International Workshop, 2004

Adaptive Agent Allocation for Massively Multi-agent Applications.
Proceedings of the Massively Multi-Agent Systems I, First International Workshop, 2004

Concurrency vs. Sequential Interleavings in 1-D Threshold Cellular Automata.
Proceedings of the 18th International Parallel and Distributed Processing Symposium (IPDPS 2004), 2004

Efficient Decentralized Monitoring of Safety in Distributed Systems.
Proceedings of the 26th International Conference on Software Engineering (ICSE 2004), 2004

Learning to Verify Safety Properties.
Proceedings of the Formal Methods and Software Engineering, 2004

Linear Inequality LTL (iLTL): A Model Checker for Discrete Time Markov Chains.
Proceedings of the Formal Methods and Software Engineering, 2004

ATSpace: A Middle Agent to Support Application Oriented Matchmaking and Brokering Services.
Proceedings of the 2004 IEEE/WIC/ACM International Conference on Intelligent Agent Technology (IAT 2004), 2004

Software Technology Track Introduction.
Proceedings of the 37th Hawaii International Conference on System Sciences (HICSS-37 2004), 2004

Actively Learning to Verify Safety for FIFO Automata.
Proceedings of the FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science, 2004

Statistical Model Checking of Black-Box Probabilistic Systems.
Proceedings of the Computer Aided Verification, 16th International Conference, 2004

An Algebraic Theory of Actors and Its Application to a Simple Object-Based Language.
Proceedings of the From Object-Orientation to Formal Methods, 2004

Decentralized Resource Control for Multi-Agent Systems.
Proceedings of the 3rd International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2004), 2004

SENS: A Sensor, Environment and Network Simulator.
Proceedings of the Proceedings 37th Annual Simulation Symposium (ANSS-37 2004), 2004

Techniques for Executing and Reasoning about Specification Diagrams.
Proceedings of the Algebraic Methodology and Software Technology, 2004

Characterizing Configuration Spaces of Simple Threshold Cellular Automata.
Proceedings of the Cellular Automata, 2004

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

Runtime safety analysis of multithreaded programs.
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.
Proceedings of the 1st International Conference on Embedded Networked Sensor Systems, 2003

Specification and Validation of Fault-Tolerant Software Architectures Based on Actor Model.
Proceedings of the Fifteenth International Conference on Software Engineering & Knowledge Engineering (SEKE'2003), 2003

SynchNet: A Petri Net Based Coordination Language for Distributed Objects.
Proceedings of the Generative Programming and Component Engineering, 2003

A Rewriting Based Model for Probabilistic Distributed Object Systems.
Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 2003

Generating Optimal Linear Temporal Logic Monitors by Coinduction.
Proceedings of the Advances in Computing Science, 2003

2002
Introduction.
Commun. ACM, 2002

Case Studies in Security and Resource Management for Mobile Object Systems.
Autonomous Agents and Multi-Agent Systems, 2002

Using passive object garbage collection algorithms for garbage collection of active objects.
Proceedings of The Workshop on Memory Systems Performance (MSP 2002), 2002

A Theory of May Testing for Actors.
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.
Proceedings of the Algebraic Methodology and Software Technology, 2002

2001
Programming Dynamically Reconfigurable Open systems with SALSA.
SIGPLAN Notices, 2001

Customizable middleware for modular distributed software.
Commun. ACM, 2001

Crawlets: Agents for High Performance Web Search Engines.
Proceedings of the Mobile Agents, 5th International Conference, 2001

A Formal Model for Reasoning about Adaptive QoS-Enabled Middleware.
Proceedings of the FME 2001: Formal Methods for Increasing Software Productivity, 2001

The World Wide Computer: Prospects for Parallel and Distributed Computing on the Web.
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.
Coordination of Internet Agents: Models, Technologies, and Applications, 2001

2000
Object Oriented Architectures, Tools, and Applications.
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.
Journal of Systems Architecture, 1999

Towards Reusable Real-Time Objects.
Ann. Software Eng., 1999

A Hierarchical Model for Coordination of Concurrent Activities.
Proceedings of the Coordination Languages and Models, Third International Conference, 1999

1998
Editorial - High Availability in CORBA.
TAPOS, 1998

What after Java? From Objects to Actors.
Computer Networks, 1998

Customizaton and Compositon of Distributed Objects: Middleware Abstractions for Policy Management.
Proceedings of the SIGSOFT '98, 1998

Modular Construction and Composition of Distributed Software Architectures.
Proceedings of the International Symposium on Software Engineering for Parallel and Distributed Systems, 1998

Specification of Real-Time Interaction Constraints.
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.
Proceedings of the Seventh Heterogeneous Computing Workshop, 1998

Case Studies in Security and Resource Management for Mobile Objects.
Proceedings of the Object-Oriented Technology, ECOOP'98 Workshop Reader, 1998

1997
A Foundation for Actor Computation.
J. Funct. Program., 1997

Workshop on Software Engineering for Parallel and Distributed Systems.
Proceedings of the Pulling Together, 1997

1996
A modular approach to real-time synchronization.
OOPS Messenger, 1996

A Modular Approach to Programming Distributed Real-Time Systems.
J. Parallel Distrib. Comput., 1996

A Visualization Model for Concurrent Systems.
Inf. Sci., 1996

Strategic directions.
IEEE P&DT, 1996

Our magazine's new face.
IEEE P&DT, 1996

The elusive goal of intelligence.
IEEE P&DT, 1996

The mountains are in labor.
IEEE P&DT, 1996

Linguistic Paradigms for Programming Complex Distributed Systems.
ACM Comput. Surv., 1996

Parallel Implementations of Irregular Problems Using High-Level Actor Language.
Proceedings of IPPS '96, 1996

Efficient compilation of concurrent call/return communication in actor-based programming languages.
Proceedings of the 3rd International Conference on High Performance Computing, 1996

A Modular Approach for Programming Embedded Systems.
Proceedings of the Lectures on Embedded Systems, European Educational Forum, 1996

Modeling Concurrent Systems: Actors, Nets, and the Problem of Abstraction and Composition.
Proceedings of the Application and Theory of Petri Nets 1996, 1996

1995
Different approaches around the world.
IEEE P&DT, 1995

Efficient Support of Location Transparency in Concurrent Object-Oriented Programming Languages.
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.
Proceedings of the ACM SIGPLAN 1995 Workshop on Languages, 1995

1994
A Methodology for Programming Scalable Architectures.
J. Parallel Distrib. Comput., 1994

Open Heterogeneous Computing in Actor Space.
J. Parallel Distrib. Comput., 1994

A Protocol Description Language for Customizing Semantics.
Proceedings of the 13th Symposium on Reliable Distributed Systems, 1994

Abstracting Interactions Based on Message Sets.
Proceedings of the Object-Based Models and Languages for Concurrent Systems, 1994

Actor Languages for Specification of Parallel Computations.
Proceedings of the Specification of Parallel Algorithms, 1994

1993
Abstraction and modularity mechanisms for concurrent computing.
IEEE P&DT, 1993

ActorSpaces: An Open Distributed Programming Paradigm.
Proceedings of the Fourth ACM SIGPLAN Symposium on Principles & Practice of Parallel Programming (PPOPP), 1993

A Language Framework for Multi-Object Coordination.
Proceedings of the ECOOP'93, 1993

1992
Visualizing actor programs using predicate transition nets.
J. Vis. Lang. Comput., 1992

Comilation of a Highly Parallel Actor-Based Language.
Proceedings of the Languages and Compilers for Parallel Computing, 1992

Scalable Distributed Garbage Collection for Systems of Active Objects.
Proceedings of the Memory Management, 1992

HAL: A High-Level Actor Language and Its Distributed Implementation.
Proceedings of the 1992 International Conference on Parallel Processing, 1992

Formal methods for Actor systems: A progress report.
Proceedings of the Formal Description Techniques, 1992

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

Towards a Theory of Actor Computation.
Proceedings of the CONCUR '92, 1992

1991
OOPSLA panel on object-based concurrent programming.
OOPS Messenger, 1991

Efficient algorithms for parallel sorting on mesh multicomputers.
International Journal of Parallel Programming, 1991

Distributed Execution of Actor Programs.
Proceedings of the Languages and Compilers for Parallel Computing, 1991

Scalability of Parallel Sorting on Mesh Multicomputers.
Proceedings of the Fifth International Parallel Processing Symposium, Proceedings, Anaheim, California, USA, April 30, 1991

1990
Concurrent Object-Oriented Programming.
Commun. ACM, 1990

The Structure and Semantics of Actor Languages.
Proceedings of the Foundations of Object-Oriented Languages, 1990

Foundations of Concurrent Object-Oriented Programming (Panel).
Proceedings of the Conference on Object-Oriented Programming Systems, 1990

ACTORS - a model of concurrent computation in distributed systems.
MIT Press series in artificial intelligence, MIT Press, ISBN: 978-0-262-01092-4, 1990

1989
Rosette: An object-oriented concurrent systems architecture.
SIGPLAN Notices, 1989

Foundational issues in concurrent computing.
SIGPLAN Notices, 1989

Supporting Multiparadigm Programming on Actor Architectures.
Proceedings of the PARLE '89: Parallel Architectures and Languages Europe, 1989

1988
Guarded Horn Clause Languages: Are They Deductive and Logical?
FGCS, 1988

The Relation between Problems in Large-Scale Concurrent Systems and Distributed Databases.
Proceedings of the International Symposium on Databases in Parallel and Distributed Systems, 1988

1987
Actors: A Conceptual Foundation for Concurrent Object-Oriented Programming.
Research Directions in Object-Oriented Programming, 1987

1985
A Message-Passing Paradigm for Object Management.
IEEE Database Eng. Bull., 1985

Concurrent Programming Using Actors: Exploiting large-Scale Parallelism.
Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1985

1984
Linguistic Support of Receptionists for Shared Resources.
Proceedings of the Seminar on Concurrency, 1984

Semantic Considerations in the Actor Paradigm of Concurrent Computation.
Proceedings of the Seminar on Concurrency, 1984


  Loading...