Torres Vieira, Hugo   A calculus for modeling and analyzing conversations in service-oriented computing.  PhD Thesis thesis, Universidade nova de Lisboa.    (2010)