@inproceedings{608d543892524e168e317058715ae7c5,
title = "A rule format for associativity",
abstract = "We present a new labelled transition system (lts) for the ambient calculus on which ordinary bisimilarity coincides with contextual equivalence. The key feature of this lts is that it is the fruit of ongoing work on developing a systematic procedure for deriving ltss in the structural style from the underlying reduction semantics and observability. Notably, even though we have derived our lts for ambients systematically it compares very favourably with existing transition systems for the same calculus.",
author = "S. Cranen and M. Mousavi and M.A. Reniers",
year = "2008",
doi = "10.1007/978-3-540-85361-9_36",
language = "English",
isbn = "978-3-540-85360-2",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
pages = "447--461",
editor = "{Breugel, van}, F. and M. Chechik",
booktitle = "CONCUR 2008 - Concurrency Theory (19th International Conference, Toronto, Canada, August 19-22, 2008, Proceedings)",
address = "Germany",
}