,
ILLC, University of Amsterdam
D. Grossi (Davide) , L. Kurzen , F.R. Velasquez
Software Analysis and Transformation

van Eijck, J., Sietsma, F., & Wang, Y. (2010). Logic of Information Flow on Communication Channels (Extended Version) . In D. Grossi, L. Kurzen, & F. R. Velasquez (Eds.), Logic and Interactive Rationality, Yearbook 2009. ILLC, University of Amsterdam.