What is protocol analysis?

F. Dechesne, J. Eijck, van, W. Teepe, Y. Wang

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

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.
Original languageEnglish
Title of host publicationDiscourses on Social Software
EditorsJ. Eijck, van, R. Verbrugge
Place of PublicationAmsterdam
PublisherAmsterdam University Press
Pages147-160
ISBN (Print)978-90-8964-123-6
Publication statusPublished - 2009

Publication series

NameTexts in Logic and Games
Volume5

Fingerprint

Software
Leiden
Protagonist
Logic
Organizer

Cite this

Dechesne, F., Eijck, van, J., Teepe, W., & Wang, Y. (2009). What is protocol analysis? In J. Eijck, van, & R. Verbrugge (Eds.), Discourses on Social Software (pp. 147-160). (Texts in Logic and Games; Vol. 5). Amsterdam: Amsterdam University Press.
Dechesne, F. ; Eijck, van, J. ; Teepe, W. ; Wang, Y. / What is protocol analysis?. Discourses on Social Software. editor / J. Eijck, van ; R. Verbrugge. Amsterdam : Amsterdam University Press, 2009. pp. 147-160 (Texts in Logic and Games).
@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",

}

Dechesne, F, Eijck, van, J, Teepe, W & Wang, Y 2009, What is protocol analysis? in J Eijck, van & R Verbrugge (eds), Discourses on Social Software. Texts in Logic and Games, vol. 5, Amsterdam University Press, Amsterdam, pp. 147-160.

What is protocol analysis? / Dechesne, F.; Eijck, van, J.; Teepe, W.; Wang, Y.

Discourses on Social Software. ed. / J. Eijck, van; R. Verbrugge. Amsterdam : Amsterdam University Press, 2009. p. 147-160 (Texts in Logic and Games; Vol. 5).

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

TY - CHAP

T1 - What is protocol analysis?

AU - Dechesne, F.

AU - Eijck, van, J.

AU - Teepe, W.

AU - Wang, Y.

PY - 2009

Y1 - 2009

N2 - 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.

AB - 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.

M3 - Chapter

SN - 978-90-8964-123-6

T3 - Texts in Logic and Games

SP - 147

EP - 160

BT - Discourses on Social Software

A2 - Eijck, van, J.

A2 - Verbrugge, R.

PB - Amsterdam University Press

CY - Amsterdam

ER -

Dechesne F, Eijck, van J, Teepe W, Wang Y. What is protocol analysis? In Eijck, van J, Verbrugge R, editors, Discourses on Social Software. Amsterdam: Amsterdam University Press. 2009. p. 147-160. (Texts in Logic and Games).