@inproceedings{4d68b7423d8f45f8b5fd5da7679cfe61,
title = "A new strategy for proving omega-completeness applied to process algebra",
author = "J.F. Groote",
year = "1990",
language = "English",
isbn = "3-540-53048-7",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
pages = "314--331",
editor = "J.C.M. Baeten and J.W. Klop",
booktitle = "CONCUR'90 (Proceedings 1st International Conference on Concurrency Theory, Amsterdam, The Netherlands, August 27-30, 1990)",
address = "Germany",
}