Choreographic Programming is an emerging paradigm for correct-by-construction
concurrent programming. However, its applicability is limited by the current lack of support …

NP-hard time complexity of model checking algorithms for TCTL properties in dense time is
one of the obstacles against using model checking for the analysis of real-time systems …

Choreographic Programming is a paradigm for developing concurrent programs that are
deadlock-free by construction, by programming communications declaratively and then …

We study deadlock detection in an actor model with wait-by-necessity synchronizations, a
lightweight technique that synchronizes invocations when the corresponding values are …

AuDaLa is a recently introduced programming language that follows the new data
autonomous paradigm. In this paradigm, small pieces of data execute functions …

AuDaLa is a recently introduced programming language that follows the new data
autonomous paradigm. In this paradigm, small pieces of data execute functions …

We introduce a nominal actor-based language and study its expressive power. We have
identified the presence/absence of fields as a crucial feature: the dynamic creation of names …

Non-Polynomial time complexity of model checking algorithms for TCTL properties in dense
time is one of the obstacles against using model checking for timed systems. Alternatively …

The actor-based language studied in this paper features asynchronous method calls and
supports coroutines which allow for the cooperative scheduling of the method invocations …

Choreographic Programming is a paradigm for developing concurrent software that is
correct by construction, by syntactically disallowing mismatched I/O operations in programs …