[Lecture Notes in Computer Science] Interactive Systems. Design, Specification, and Verification Volume 3941 || Formalising Performative Interaction
Gilroy, Stephen W., Harrison, Michael D.Volume:
10.1007/11
Année:
2006
Langue:
english
DOI:
10.1007/11752707_2
Fichier:
PDF, 374 KB
english, 2006