3 citations · 5 across the 3 of their papers we have counts for
Showing cs.LOShow all
2 papers · 1 filter
cs.LO2023★ 1 cited
Termination in Concurrency, Revisited
Joseph W. N. Paulus, Jorge A. Pérez, Daniele Nantes-Sobrinho
Termination is a central property in sequential programming models: a term is terminating if all its reduction sequences are finite. Termination is also important in concurrency in…
cs.LO2022★ 3 cited
Typed Non-determinism in Functional and Concurrent Calculi
Bas van den Heuvel, Joseph W. N. Paulus, Daniele Nantes-Sobrinho +1
We study functional and concurrent calculi with non-determinism, along with type systems to control resources based on linearity. The interplay between non-determinism and linearit…