Introduction: Bringing Protocols to Life (Transcript of Discussion)

  • Bruce Christianson
Part of the Lecture Notes in Computer Science book series (LNCS, volume 7622)


Our theme this year (which it’s customary to mention once on the morning of the first day) is ”Bringing Protocols to Life”.

We’ve gotten a lot better at specifying protocols in increasing degrees of formality, but it’s not clear that this is actually making it easier to implement them, nor that it’s improving the quality of the finished products to the extent that is often claimed.

Copyright information

© Springer-Verlag Berlin Heidelberg 2012

Authors and Affiliations

  • Bruce Christianson
    • 1
  1. 1.University of HertfordshireUK

Personalised recommendations