3 citations · 5 across the 3 of their papers we have counts for
3 papers
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…
Monitoring Blackbox Implementations of Multiparty Session Protocols
Bas van den Heuvel, Jorge A. Pérez, Rares A. Dobre
We present a framework for the distributed monitoring of networks of components that coordinate by message-passing, following multiparty session protocols specified as global types…
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…