Interaction and Realizability

Manfred Broy. Interaction and Realizability. In Jan van Leeuwen, Giuseppe F. Italiano, Wiebe van der Hoek, Christoph Meinel, Harald Sack, Frantisek Plasil, editors, SOFSEM 2007: Theory and Practice of Computer Science, 33rd Conference on Current Trends in Theory and Practice of Computer Science, Harrachov, Czech Republic, January 20-26, 2007, Proceedings. Volume 4362 of Lecture Notes in Computer Science, pages 29-50, Springer, 2007. [doi]

Abstract

Abstract is missing.