Congruent bisimulation equivalence of ambient calculus based on contextual transition system

Masaki Murakami

研究成果

3 被引用数 (Scopus)

抄録

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.

本文言語English
ホスト出版物のタイトルProceedings - 2013 International Symposium on Theoretical Aspects of Software Engineering, TASE 2013
ページ149-152
ページ数4
DOI
出版ステータスPublished - 10月 30 2013
イベント2013 International Symposium on Theoretical Aspects of Software Engineering, TASE 2013 - Birmingham
継続期間: 7月 1 20137月 3 2013

出版物シリーズ

名前Proceedings - 2013 International Symposium on Theoretical Aspects of Software Engineering, TASE 2013

Other

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

ASJC Scopus subject areas

  • ソフトウェア

フィンガープリント

「Congruent bisimulation equivalence of ambient calculus based on contextual transition system」の研究トピックを掘り下げます。これらがまとまってユニークなフィンガープリントを構成します。

引用スタイル