activity
20102026
most citedA Graphical Approach to Progress for Structured Communication in Web Services

32 citations · 59 across the 7 of their papers we have counts for

collaborators
Showing 2015Show all

1 paper · 1 filter

cs.LO2015★ 4 cited

Type-checking Liveness for Collaborative Processes with Bounded and Unbounded Recursion

Søren Debois, Thomas Hildebrandt, Tijs Slaats +1

We present the first session typing system guaranteeing request-response liveness properties for possibly non-terminating communicating processes. The types augment the branch and…