A coalgebraic approach to the semantics of the ambient calculus (2005)

by Daniel Hausmann, Till Mossakowski, Lutz Schröder
Venue:ALGEBRA AND COALGEBRA IN COMPUTER SCIENCE