Type-checking Liveness for Collaborative Processes with Bounded and Unbounded Recursion
Work
Year: 2016
Type: article
Abstract: We present the first session typing system guaranteeing request-response liveness properties for possibly non-terminating communicating processes. The types augment the branch and select types of the ... more
Institutions IT University of Copenhagen, Imperial College London
Cites: 31
Cited by: 4
Related to: 10
FWCI: 0.722
Citation percentile (by year/subfield): 61.7
Subfield: Artificial Intelligence
Field: Computer Science
Domain: Physical Sciences
Sustainable Development Goal Reduced inequalities
Open Access status: diamond
Grant IDS EP/K011715/1, 612985