Towards a Coalgebraic Approach to the Semantics of the Ambient Calculus

@inproceedings{pub3880,
    author = {

Hausmann, Daniel
 and 

Mossakowski, Till
 and 

Schröder, Lutz
},
    editor = {

Fiadeiro, Jose
 and 

Harman, Neil
 and 

Roggenbach, Markus
 and 

Rutten, Jan
},
    title = {Towards a Coalgebraic Approach to the Semantics of the Ambient Calculus},
    booktitle = {Algebra and Coalgebra in Computer Science. Conference on Algebra and Coalgebra in Computer Science (CALCO-2005), September 3-6, Swansea, United Kingdom},
    series = {Lecture Notes in Computer Science (LNCS)},
    year = {2005},
    volume = {3629},
    pages = {232--246},
    organization = {University of Wales},
    publisher = {Springer},
    isbn = {3-540-28620-9}
}