@inproceedings{9ad7a1e139554bbcba27eabf5ecf5b18,
title = "A general conservative extension theorem in process algebra",
abstract = "Abstract in text",
author = "C. Verhoef",
year = "1994",
language = "English",
isbn = "0-444-82020-5",
series = "IFIP Transactions A : Computer science and technology",
publisher = "North-Holland Publishing Company",
pages = "149--168",
editor = "E.R. Olderog",
booktitle = "Programming Concepts, Methods and Calculi (Proceedings IFIP TC2/WG2.1/WG2.2/WG2.3 Working Conference, Procomet'94, San MIniato, Italy, June 6-10,1994)",
address = "Netherlands",
}