most citedRealisability and Complementability of Multiparty Session Types

1 citations

researchers with a paper here

Counting papers with at most 25 authors, so collaboration author lists do not stand in for the people here.

collaborating institutions
Showing cs.CCShow all

1 paper · 1 filter

cs.CC2025

On the Dynamics of Bounded-Degree Automata Networks

Julio Aracena, Florian Bridoux, Maximilien Gadouleau +4

Automata networks can be seen as bare finite dynamical systems, but their growing theory has shown the importance of the underlying communication graph of such networks. This paper…