Centrum Wiskunde & Informatica

Injective synchronisation: An extension of the authentication hierarchy Article

Electronic Notes in Theoretical Computer Science, 139-161.

C.J.F. Cremers (Cas), S. Mauw (Sjouke) and E.P. de Vink (Erik)

January 2006
Divide and congruence: from decomposition of modalities to preservation of branching bisimulation In Proceedings

W.J. Fokkink (Wan), R.J. van Glabbeek (Rob) and P. de Wind

January 2006
Computing with actions and communications Article

Bulletin of the Belgian Mathematical Society Simon Stevin, 789-905.

W.J. Fokkink (Wan) and J.W. Klop (Jan Willem)

January 2006
Variations on Itai-Rodeh leader election for anonymous rings and their analysis in PRISM Article

Journal of Universal Computer Science, 981-1006.

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

January 2006
Cones, foci: A mechanical framework for protocol verification Article

Formal Methods in System Design, 1-31.

W.J. Fokkink (Wan), J. Pang (Jun) and J.C. van de Pol (Jaco)

January 2006
Some Remarks on Definability of Process Graphs In Proceedings

C.A. Grabmayer, J.W. Klop (Jan Willem) and S.P. Luttik (Bas)

January 2006
Interactive visualization of large state spaces Article

International Journal on Software Tools for Technology Transfer, 77-91.

J.F. Groote (Jan Friso) and F. van Ham

January 2006
From μCRL to mCRL2: Motivation and Outline Article

Electronic Notes in Theoretical Computer Science, 191-196.

J.F. Groote (Jan Friso), A.H.J. Mathijssen (Aad), M.J. van Weerdenburg (Muck) and Y.S. Usenko (Yaroslav)

January 2006

Publication

Injective synchronisation: An extension of the authentication hierarchy Article

Divide and congruence: from decomposition of modalities to preservation of branching bisimulation In Proceedings

Computing with actions and communications Article

Variations on Itai-Rodeh leader election for anonymous rings and their analysis in PRISM Article

Cones, foci: A mechanical framework for protocol verification Article

Some Remarks on Definability of Process Graphs In Proceedings

Interactive visualization of large state spaces Article

From μCRL to mCRL2: Motivation and Outline Article

Address

CWI researchers

Questions or comments?

Publication

Injective synchronisation: An extension of the authentication hierarchy Article

Divide and congruence: from decomposition of modalities to preservation of branching bisimulation In Proceedings

Computing with actions and communications Article

Variations on Itai-Rodeh leader election for anonymous rings and their analysis in PRISM Article

Cones, foci: A mechanical framework for protocol verification Article

Some Remarks on Definability of Process Graphs In Proceedings

Interactive visualization of large state spaces Article

From &#956;CRL to mCRL2: Motivation and Outline Article

Workflow

Workflow

Add Content

From μCRL to mCRL2: Motivation and Outline Article