CWI Institutional Repository
Scholarly works by researchers at Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands-
Computation of layers in Eulerian gas flow In Proceedings
January 1986
-
January 1986
-
January 1986
-
Pattern formation for a one-dimensional evolution equation based on Thom's river basin model Book Chapter
January 1986
-
Countable nondeterminism and random assignment Article
Journal of the ACM, 724-767.January 1986
-
Syntax directed analysis of liveness properties Article
Information and Control, 223-253.January 1986
-
Limits for automatic verification of finite state concurrent systems Article
Information Processing Letters, 307-309.January 1986
-
Correctness proofs distributed termination algorithms Article
ACM Transactions on Programming Languages and Systems, 388-405.January 1986