CWI Institutional Repository
Scholarly works by researchers at Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands-
January 2009
-
January 2009
-
What is Protocol Analysis? Book Chapter
D.J.N. van Eijck (Jan), F. Dechesne (Francien), W. Teepe and Y. Wang (Yanjing)
January 2009 -
Verifying epistemic protocols under common knowledge In Proceedings
Y. Wang (Yanjing), L. Kuppusamy (Lakshmanan) and D.J.N. van Eijck (Jan)
January 2009 -
Coinductive Predicates as Final Coalgebras In Proceedings
January 2009 -
January 2009
-
Unconditional Lower Bounds against Advice In Proceedings
January 2009 -
January 2009