Add to ORKGThis research was supported by a National Science Foundation Graduate Fellowship in mathematics.MIT Artificial Intelligence Laboratory National Science Foundatio
We propose a novel algorithm for minimizing communication costs of multi-threaded and distributed ac...
Thesis (M.S.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer S...
We here present an approach to reasoning about actor programs on the basis of temporal logic. Tempor...
The actor message-passing model of concurrent computation has inspired new ideas in the areas of k...
International audienceThis paper proposes a technique for estimating the computational time of progr...
International audienceThis paper presents a pragmatic algorithm to build a global time on any distri...
A foundational model of concurrency is developed in this thesis. We examine issues in the design of ...
Key Words and Phrases: parallel processes, parallel or asynchronous computations, partial orders of ...
As advances in computer architecture and changing economics make feasible machines with large-scal...
Actor programs give rise to computation structures that evolve dynamically and unpredictably both in...
A foundational model of concurrency is developed in this thesis. We examine issues in the design o...
Abstract A distributed system can be characterized by the fact that the global state is distributed ...
International audienceThe Actor Model is a mathematical theory that treats “Actors” as the universal...
The concept of causality between events is fundamental to the design and analysis of parallel and di...
In this paper, we examine the relation between the actions of a computation and the nature of time a...
We propose a novel algorithm for minimizing communication costs of multi-threaded and distributed ac...
Thesis (M.S.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer S...
We here present an approach to reasoning about actor programs on the basis of temporal logic. Tempor...
The actor message-passing model of concurrent computation has inspired new ideas in the areas of k...
International audienceThis paper proposes a technique for estimating the computational time of progr...
International audienceThis paper presents a pragmatic algorithm to build a global time on any distri...
A foundational model of concurrency is developed in this thesis. We examine issues in the design of ...
Key Words and Phrases: parallel processes, parallel or asynchronous computations, partial orders of ...
As advances in computer architecture and changing economics make feasible machines with large-scal...
Actor programs give rise to computation structures that evolve dynamically and unpredictably both in...
A foundational model of concurrency is developed in this thesis. We examine issues in the design o...
Abstract A distributed system can be characterized by the fact that the global state is distributed ...
International audienceThe Actor Model is a mathematical theory that treats “Actors” as the universal...
The concept of causality between events is fundamental to the design and analysis of parallel and di...
In this paper, we examine the relation between the actions of a computation and the nature of time a...
We propose a novel algorithm for minimizing communication costs of multi-threaded and distributed ac...
Thesis (M.S.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer S...
We here present an approach to reasoning about actor programs on the basis of temporal logic. Tempor...