Centrum Wiskunde & Informatica

A coordination-based framework for distributed constraint solving Tech Report

P. Zoeteweij (Peter)

January 2002
Cones and foci for protocol verification revisited Tech Report

W.J. Fokkink (Wan) and J. Pang (Jun)

January 2002
A new coalgebraic semantics for positive modal logic Tech Report

A. Palmigiano

January 2002
Lifting infinite normal form definitions from term rewriting to term graph rewriting Tech Report

S.C.C. Blom (Stefan)

January 2002
Observational logic, constructor-based logic, and their duality Tech Report

M. Bidoit, R. Hennicker and A. Kurz (Alexander)

January 2002
Coalgebraic modal logic of finite rank Tech Report

A. Kurz (Alexander) and D. Pattinson

January 2002
Coinductive counting with weighted automata Tech Report

J.J.M.M. Rutten (Jan)

January 2002
GSOS for probabilistic transition systems Tech Report

F. Bartels (Falk)

January 2002

Previous

Next