TY - GEN
T1 - Congruent bisimulation equivalence of ambient calculus based on contextual transition system
AU - Murakami, Masaki
PY - 2013/10/30
Y1 - 2013/10/30
N2 - 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.
AB - 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.
UR - http://www.scopus.com/inward/record.url?scp=84886392330&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=84886392330&partnerID=8YFLogxK
U2 - 10.1109/TASE.2013.28
DO - 10.1109/TASE.2013.28
M3 - Conference contribution
AN - SCOPUS:84886392330
SN - 9780768550534
T3 - Proceedings - 2013 International Symposium on Theoretical Aspects of Software Engineering, TASE 2013
SP - 149
EP - 152
BT - Proceedings - 2013 International Symposium on Theoretical Aspects of Software Engineering, TASE 2013
T2 - 2013 International Symposium on Theoretical Aspects of Software Engineering, TASE 2013
Y2 - 1 July 2013 through 3 July 2013
ER -