@inbook{706226bf81f1467ebee69de0c8b3f3d6,
title = "Static Analysis Techniques for Session-Oriented Calculi",
author = "Vieira, {Hugo Filipe Mendes Torres}",
year = "2011",
month = jan,
day = "1",
language = "Unknown",
isbn = "978-3-642-20400-5",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
number = "6582",
pages = "214--231",
editor = "Wirsing Martin and Holzl Matthias",
booktitle = "Rigorous Software Engineering for Service-Oriented Systems - Results of the SENSORIA Project on Software Engineering for Service-Oriented Computing",
address = "Netherlands",
}