Centrum Wiskunde & Informatica

Publications by Year

sign in

Home

CWI Institutional Repository

Scholarly works by researchers at Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands

The process of De Bakker and Zucker represent bisimulation equivalence classes Book Chapter

R.J. van Glabbeek (Rob) and J.J.M.M. Rutten (Jan)

January 1989
Refinement in branching time semantics Book Chapter

R.J. van Glabbeek (Rob) and W.P. Weijland

January 1989
Towards a theory of (self) applicative communicating processes: a short note Book Chapter

H.J.M. Goeman

January 1989
MFCS greetings to Jaco W. de Bakker Book Chapter

J. Gruska

January 1989
The induction rule of De Bakker and Scott Book Chapter

W.H. Hesselink (Wim)

January 1989
Correctness of the two-phase commit protocol Book Chapter

J. van Leeuwen (Jan)

January 1989
Qualitative $\lambda$-models as type assignment systems Book Chapter

F. Honsell and S. Ronchi della Rocca

January 1989
A compositional semantics for statecharts Book Chapter

J. Hooman, S. Ramesh and W.P. de Roever

January 1989

Previous

Next

Address
- Centrum Wiskunde & Informatica
- Science Park 123 | 1098 XG Amsterdam | the Netherlands

CWI researchers
- Register Your Work
Questions or comments?
- repository@cwi.nl

Workflow

Workflow

Add Content

User Publication Person Organisation Collection

Close