Title :
Congruent Bisimulation Equivalence of Ambient Calculus Based on Contextual Transition System
Author_Institution :
Dept. of Inf. Technol., Okayama Univ., Okayama, Japan
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.
Keywords :
bisimulation equivalence; concurrency theory; LTS; ambient calculus; concurrent systems; congruent bisimulation equivalence relation; contextual transition system; labeled transition system; mobile ambients; Calculus; Computational modeling; Context; Educational institutions; Mobile communication; Semantics; Software engineering;
Conference_Titel :
Theoretical Aspects of Software Engineering (TASE), 2013 International Symposium on
Conference_Location :
Birmingham
DOI :
10.1109/TASE.2013.28
