CWI Institutional Repository
Scholarly works by researchers at Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands-
A process algebra for interworkings Book Chapter
January 2001 -
Process algebra with recursive operations Book Chapter
J.A. Bergstra (Jan), W.J. Fokkink (Wan) and A. Ponse (Alban)
January 2001 -
Running a job on a collection of partly available machines, with on-line restarts Article
Acta Informatica, 37(10), 727-742.January 2001 -
Probabilistic model for the growth of thesauri Article
Acta Applicandae Mathematicae, 67(3), 237-252.January 2001 -
Algebraic process verification Book Chapter
January 2001 -
On nonoscillating integrals for computing inhomogeneous Airy functions Article
Mathematics of Computation, 1183-1194.January 2001 -
January 2001
-
Denotative and Connotative Semantics in Hypermedia: Proposal for a Semiotic-Aware Architecture Article
New Review of Hypermedia and Multimedia, 7-37.January 2001