👤

J. F. Groote

2 books

Books by J. F. Groote

Concur <<'>>91
Concur <<'>>91
1991
Undecidable equivalences for B
Undecidable equivalences for Basic Process Algebra
1991