JCoBox: Generalizing active objects to concurrent components
J Schäfer, A Poetzsch-Heffter - … Conference, Maribor, Slovenia, June 21-25 …, 2010 - Springer
Concurrency in object-oriented languages is still waiting for a satisfactory solution. For many
application areas, standard mechanisms like threads and locks are too low level and have …
application areas, standard mechanisms like threads and locks are too low level and have …
Compositional reasoning about active objects with shared futures
Distributed and concurrent object-oriented systems are difficult to analyze due to the
complexity of their concurrency, communication, and synchronization mechanisms. The …
complexity of their concurrency, communication, and synchronization mechanisms. The …
[HTML][HTML] A sound and complete reasoning system for asynchronous communication with shared futures
Distributed and concurrent object-oriented systems are difficult to analyze due to the
complexity of their concurrency, communication, and synchronization mechanisms. We …
complexity of their concurrency, communication, and synchronization mechanisms. We …
Observable behavior of distributed systems: Component reasoning for concurrent objects
Distributed and concurrent object-oriented systems are difficult to analyze due to the
complexity of their concurrency, communication, and synchronization mechanisms. Rather …
complexity of their concurrency, communication, and synchronization mechanisms. Rather …
Forward to a promising future
In many actor-based programming models, asynchronous method calls communicate their
results using futures, where the fulfilment occurs under-the-hood. Promises play a similar …
results using futures, where the fulfilment occurs under-the-hood. Promises play a similar …
A petri net based analysis of deadlocks for active objects and futures
We give two different notions of deadlock for systems based on active objects and futures.
One is based on blocked objects and conforms with the classical definition of deadlock by …
One is based on blocked objects and conforms with the classical definition of deadlock by …
A petri net based modeling of active objects and futures
We give two different notions of deadlock for systems based on active objects and futures.
One is based on blocked objects and conforms with the classical definition of deadlock by …
One is based on blocked objects and conforms with the classical definition of deadlock by …
[PDF][PDF] Data-flow explicit futures
L Henrio - 2018 - hal.science
A future is a place-holder for a value being computed, and we generally say that a future is
resolved when the associated value is computed. In existing languages futures are either …
resolved when the associated value is computed. In existing languages futures are either …
Compositional reasoning about shared futures
Distributed and concurrent object-oriented systems are difficult to analyze due to the
complexity of their concurrency, communication, and synchronization mechanisms. The …
complexity of their concurrency, communication, and synchronization mechanisms. The …
A framework for reasoning on component composition
The main characteristics of component models is their strict structure enabling better code
reuse. Correctness of component composition is well understood formally but existing works …
reuse. Correctness of component composition is well understood formally but existing works …