1 citations · 1 across the 2 of their papers we have counts for
3 papers
Typed Non-determinism in Concurrent Calculi: The Eager Way
Bas van den Heuvel, Daniele Nantes-Sobrinho, Joseph W. N. Paulus +1
We consider the problem of designing typed concurrent calculi with non-deterministic choice in which types leverage linearity for controlling resources, thereby ensuring strong cor…
On the Expressivity of Typed Concurrent Calculi
Joseph William Neal Paulus
This thesis embarks on a comprehensive exploration of formal computational models that underlie typed programming languages. We focus on programming calculi, both functional (seque…
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…