Book chapters details

  • Behavioural Theory for Session-oriented Calculi
  • Jan 2011
  • Rigorous Software Engineering for Service-Oriented Systems
  • Springer-Verlag
  • Ivan Lanese, António Ravara, Hugo Torres Vieira
  • Lecture Notes in Computer Science
  • 6582
  • 978-3-642-20400-5
  • 189 to 213
  • 1 Jan 2011