A rule format for associativity

S. Cranen, M. Mousavi, M.A. Reniers

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    20 Citations (Scopus)
    1 Downloads (Pure)


    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.
    Original languageEnglish
    Title of host publicationCONCUR 2008 - Concurrency Theory (19th International Conference, Toronto, Canada, August 19-22, 2008, Proceedings)
    EditorsF. Breugel, van, M. Chechik
    Place of PublicationBerlin
    ISBN (Print)978-3-540-85360-2
    Publication statusPublished - 2008

    Publication series

    NameLecture Notes in Computer Science
    ISSN (Print)0302-9743


    Dive into the research topics of 'A rule format for associativity'. Together they form a unique fingerprint.

    Cite this