research
∙
08/21/2023
Weakly synchronous systems with three machines are Turing powerful
Communicating finite-state machines (CFMs) are a Turing powerful model o...
share
research
∙
08/17/2023
Proceedings 16th Interaction and Concurrency Experience
This volume contains the proceedings of ICE'23, the 16th Interaction and...
research
∙
10/24/2022
A partial order view of message-passing communication models
There is a wide variety of message-passing communication models, ranging...
research
∙
08/08/2022
Proceedings 15th Interaction and Concurrency Experience
This volume contains the proceedings of ICE'22, the 15th Interaction and...
research
∙
10/01/2021
Towards Generalised Half-Duplex Systems
FIFO automata are finite state machines communicating through FIFO queue...
research
∙
09/04/2019
On the k-synchronizability of systems
In this paper, we work on the notion of k-synchronizability: a system is...
research
∙
09/04/2019