activity
20232026
most citedDistribution of Reconfiguration Languages maintaining Tree-like Communication Topology

1 citations · 1 across the 7 of their papers we have counts for

collaborators
Showing 2024Show all

2 papers · 1 filter

cs.FL2024★ 1 cited

Distribution of Reconfiguration Languages maintaining Tree-like Communication Topology

Daniel Hausmann, Mathieu Lehaut, Nir Piterman

We study how to distribute trace languages in a setting where processes communicate via reconfigurable communication channels. That is, the different processes can connect and disc…

cs.LO2024

Synthesis for prefix first-order logic on data words

Julien Grange, Mathieu Lehaut

We study the reactive synthesis problem for distributed systems with an unbounded number of participants interacting with an uncontrollable environment. Executions of those systems…