Publication

Proceedings Fourth Interaction and Concurrency Experience Book

Preface Article

B.P.F. Jacobs, M. Niqui (Milad), J.J.M.M. Rutten (Jan) and A.M. Silva (Alexandra)

Patent nonsense and the joined keys lemma Book Chapter

A.K. Lenstra (Arjen)

On Moessner's theorem Tech Report

D. Kozen and A.M. Silva (Alexandra)

Sound and complete axiomatization of trace semantics for probabilistic systems Article

A.M. Silva (Alexandra) and A. Sokolova

A unified format for language documents In Proceedings

V. Zaytsev (Vadim) and R. Lämmel (Ralf)

Logic in Action Book

J.F.A.K. van Benthem (Johan), D.J.N. van Eijck (Jan), J.O.M. Jaspars and H. van Ditmarsch (Hans)

Rapid mixing of subset Glauber dynamics on graphs of bounded tree-width In Proceedings

M. Bordewich and R.J. Kang (Ross)