@book{148688,
	author = {Ponse, A.},
	title = {Modal logic and process algebra :},
	publisher = {CSLI Publications,},
	year = {c1995.},
	address = {Stanford, Calif. :},
	note = {Papers presented at a workshop called Three days of Bisimulation, which was held April 1994 at the Centre for Mathematics and Computer Sciences, Amsterdam.}
}