@inbook{494f2764fb6447889c8e81584998fdf2,
title = "What is protocol analysis?",
abstract = "The following is a transcript of one of the discussion sessions that took place during the Workshop on Games, Action and Social Software at the Lorentz Center in Leiden. The discussion theme was set by the workshop organizers: {"}Is logic useful for the analysis of protocols, and if so, how?{"} The theme has attracted the usual protagonists, plus a cognitive scientist and a specialist in computer security.",
author = "F. Dechesne and {Eijck, van}, J. and W. Teepe and Y. Wang",
year = "2009",
language = "English",
isbn = "978-90-8964-123-6",
series = "Texts in Logic and Games",
publisher = "Amsterdam University Press",
pages = "147--160",
editor = "{Eijck, van}, J. and R. Verbrugge",
booktitle = "Discourses on Social Software",
address = "Netherlands",
}