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
Citations:4 - 2 self