On Progress for Structured Communications

Abstract

We propose a new typing system for the π-calculus with sessions, which ensures the progress property, i.e. once a session has been initiated, typable processes will never starve at session channels. In the current literature progress for session types has been guaranteed only in the case of nested sessions, disallowing more than two session channels… (More)
DOI: 10.1007/978-3-540-78663-4_18

Topics

1 Figure or Table

Statistics

0102020082009201020112012201320142015201620172018
Citations per Year

77 Citations

Semantic Scholar estimates that this publication has 77 citations based on the available data.

See our FAQ for additional information.

Slides referencing similar topics