Jun 03, 2015

Luca Padovani, Tzu-Chun Chen, and Andrea Tosatto

Type Reconstruction Algorithms for Deadlock-Free and Lock-Free Linear π-Calculi (COORDINATION 2014)

We define complete type reconstruction algorithms for two type systems ensuring deadlock and lock freedom of linear π-calculus processes. Our work automates the verification of deadlock/lock freedom for a non-trivial class of processes that includes interleaved binary sessions and, to great extent, multi- party sessions as well. A Haskell implementation of the algorithms is available.

Please reload


T: (+49) 06151-16-27813