CWI Institutional Repository
Scholarly works by researchers at Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands-
Branching bisimulation as a strong bisimulation Tech Report
January 1994
-
January 1994
-
On the determination of the stationary distribution of a symmetric clocked buffered switch Tech Report
January 1994
-
January 1994
-
January 1994
-
January 1994
-
An environment for computational steering Tech Report
January 1994
-
More on unfold/fold transformations of normal programs: preservation of fitting's semantics Tech Report
January 1994