A coalgebraic approach to the semantics of the ambient calculus

Daniel Hausmann, Till Mossakowski, Lutz Schröder. A coalgebraic approach to the semantics of the ambient calculus. Theoretical Computer Science, 366(1-2):121-143, 2006. [doi]

Abstract

Abstract is missing.