CWI Institutional Repository
Scholarly works by researchers at Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands-
April 1997
-
April 1997 -
May 1997 -
Formal verification of a leader election protocol in process algebra Article
Chicago Journal of Theoretical Computer Science, 177(2), 459-486.May 1997
-
Lattice calculus of the morphological slope transform Article
Signal Processing, 59(1), 17-42.May 1997
-
Termination for a class of algorithms for constructing algebras given by generators and relations Article
Journal of Pure and Applied Algebra, 431-445.May 1997
-
May 1997 -
June 1997