Congruent bisimulation equivalence of ambient calculus based on contextual transition system

Research output: Chapter in Book/Report/Conference proceedingConference contribution

3 Citations (Scopus)

Abstract

This paper presents a labeled transition system (LTS) for mobile ambients. We define labels for transitions using contexts of processes. We present a set of rules that derives transitions with contextual labels. We define bisimulation equivalence relation based on the LTS. We also show that the bisimulation equivalence is a congruence relation.

Original languageEnglish
Title of host publicationProceedings - 2013 International Symposium on Theoretical Aspects of Software Engineering, TASE 2013
Pages149-152
Number of pages4
DOIs
Publication statusPublished - Oct 30 2013
Event2013 International Symposium on Theoretical Aspects of Software Engineering, TASE 2013 - Birmingham, United Kingdom
Duration: Jul 1 2013Jul 3 2013

Publication series

NameProceedings - 2013 International Symposium on Theoretical Aspects of Software Engineering, TASE 2013

Other

Other2013 International Symposium on Theoretical Aspects of Software Engineering, TASE 2013
CountryUnited Kingdom
CityBirmingham
Period7/1/137/3/13

ASJC Scopus subject areas

  • Software

Fingerprint Dive into the research topics of 'Congruent bisimulation equivalence of ambient calculus based on contextual transition system'. Together they form a unique fingerprint.

  • Cite this

    Murakami, M. (2013). Congruent bisimulation equivalence of ambient calculus based on contextual transition system. In Proceedings - 2013 International Symposium on Theoretical Aspects of Software Engineering, TASE 2013 (pp. 149-152). [6597891] (Proceedings - 2013 International Symposium on Theoretical Aspects of Software Engineering, TASE 2013). https://doi.org/10.1109/TASE.2013.28