In concurrent systems, some form of synchronisation is typically needed to achieve data-race freedom, which is important for correctness and safety. In actor-based systems, messages are exchanged concurrently but executed sequentially by the receiving actor. By relying on isolation and non-sharing, an actor can access its own state without fear of data-races, and the internal behavior of an actor can be reasoned about sequentially. However, actor isolation is sometimes too strong to express useful patterns. For example, letting the iterator of a data-collection alias the internal structure of the collection allows a more efficient implementation than if each access requires going through the interface of the collection. With full isolation,...
In this thesis we study state isolation and efficient message-passing in the context of concurrent o...
We argue that the ability to model shared objects with changing local states, dynamic reconfigurab...
International audienceThe actor model eases the definition of concurrent programs with non uniform b...
In concurrent systems, some form of synchronisation is typically needed to achieve data-race freedom...
The actor model is a concurrency model that avoids issues such as deadlocks and data races by constr...
Part 5: Efficient Verification TechniquesInternational audienceThe actor model is an old but compell...
International audienceThe actor model is a message-passing concurrency model that avoids deadlocks a...
A foundational model of concurrency is developed in this thesis. We examine issues in the design of ...
Actors interact by asynchronous message passing. A key semantic property of actors is that they do n...
The actor model is a concurrency model that avoids issues such as deadlocks and data races by constr...
A foundational model of concurrency is developed in this thesis. We examine issues in the design o...
In this thesis we study state isolation and efficient message-passing in the context of concurrent o...
Actor isolation is an important property in parallel and concurrent programs that utilize the actor ...
none2siAfter more than 40 years by their invention, actors are nowadays in the mainstream, as a refe...
The actor message-passing model of concurrent computation has inspired new ideas in the areas of k...
In this thesis we study state isolation and efficient message-passing in the context of concurrent o...
We argue that the ability to model shared objects with changing local states, dynamic reconfigurab...
International audienceThe actor model eases the definition of concurrent programs with non uniform b...
In concurrent systems, some form of synchronisation is typically needed to achieve data-race freedom...
The actor model is a concurrency model that avoids issues such as deadlocks and data races by constr...
Part 5: Efficient Verification TechniquesInternational audienceThe actor model is an old but compell...
International audienceThe actor model is a message-passing concurrency model that avoids deadlocks a...
A foundational model of concurrency is developed in this thesis. We examine issues in the design of ...
Actors interact by asynchronous message passing. A key semantic property of actors is that they do n...
The actor model is a concurrency model that avoids issues such as deadlocks and data races by constr...
A foundational model of concurrency is developed in this thesis. We examine issues in the design o...
In this thesis we study state isolation and efficient message-passing in the context of concurrent o...
Actor isolation is an important property in parallel and concurrent programs that utilize the actor ...
none2siAfter more than 40 years by their invention, actors are nowadays in the mainstream, as a refe...
The actor message-passing model of concurrent computation has inspired new ideas in the areas of k...
In this thesis we study state isolation and efficient message-passing in the context of concurrent o...
We argue that the ability to model shared objects with changing local states, dynamic reconfigurab...
International audienceThe actor model eases the definition of concurrent programs with non uniform b...