activity
20192023
most citedOn Reinforcement Learning, Effect Handlers, and the State Monad

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

collaborators
Showing cs.CCShow all

1 paper · 1 filter

cs.CC2021

Sized Types with Usages for Parallel Complexity of Pi-Calculus Processes

Patrick Baillot, Alexis Ghyselen, Naoki Kobayashi

We address the problem of analysing the complexity of concurrent programs written in Pi-calculus. We are interested in parallel complexity, or span, understood as the execution tim…