A Coalgebraic Approach to the Semantics of the Ambient Calculus

@article{pub3881,
    author = {

Hausmann, Daniel
 and 

Mossakowski, Till
 and 

Schröder, Lutz
},
    title = {A Coalgebraic Approach to the Semantics of the Ambient Calculus},
    year = {2006},
    volume = {366},
    number = {1-2},
    pages = {121--143},
    journal = {Theoretical Computer Science},
    note = {Extends (Hausmann et al. 2005)}
}