Publication
-
A short proof of the decidability of bisimulation for normed bpa-processes Article
Information Processing Letters, 42(3), 167-171.May 1992
-
Some aspects of mixed finite element methods for semiconductor simulation Dissertation
Scientific ComputingMay 1992 -
Product-form in queueing networks Dissertation
May 1992 -
Preface Article
CWI Quarterly, 5(2), 89-91.June 1992
-
Notes on polynomial-time group theory Article
CWI Quarterly, 5(2), 93-105.June 1992
-
Random algorithms for permutation groups Article
CWI Quarterly, 5(2), 107-125.June 1992
-
Structural computations in finite permutation groups Article
CWI Quarterly, 5(2), 127-160.June 1992
-
Linear unary operators in process algebra Dissertation
June 1992