Static Analysis Techniques for Session-Oriented Calculi

Lucia Acciai, Chiara Bodei, Michele Boreale, Roberto Bruni, Hugo Torres Vieira,

Publisher	Springer-Verlag
Series	Lecture Notes in Computer Science
Volume	6582
ISBN	978-3-642-20400-5
Publisher	Springer-Verlag
Series	Lecture Notes in Computer Science
Volume	6582
ISBN	978-3-642-20400-5

Publication