J. F. Groote
3 published titles
Undecidable equivalences for basic process algebra
1 edition
- LFCS, Dept. of Computer Science, University of Edinburgh
- 1991
- Details
Verification of parallel systems via decomposition
1 edition
- LFCS, Dept. of Computer Science, University of Edinburgh
- 1992
- Details
Semantics of specification languages (SoSL) : proceedings of the international workshop on semantics of specifiction languages, Utrecht, the Netherlands, 25-27 October 1993
(Contributor)
1 edition
- ISBN: 3540198547
- Springer published
- 1994
- Details
