A Type System for Client Progress in a Service-Oriented Calculus.

Lucia Acciai Michele Boreale A Type System for Client Progress in a Service-Oriented Calculus. 642-658 2008 Concurrency, Graphs and Models http://dx.doi.org/10.1007/978-3-540-68679-8_40 conf/birthday/2008montanari db/conf/birthday/montanari2008.html#AcciaiB08