@inproceedings{ffc7ae12e8844106971b79f825ab4dc2,
title = "Process algebra with siugnals and conditions",
author = "J.C.M. Baeten and J.A. Bergstra",
year = "1992",
language = "English",
isbn = "3-540-55558-7",
series = "NATO ASI Series, Series F: Computer and Systems Sciences",
publisher = "Springer",
pages = "273--323",
editor = "M. Broy",
booktitle = "Programming and mathematical method (Proceedings NATO Advanced Study Institute, Marktoberdorf, Germany, July 24-August 5, 1990)",
address = "Germany",
}