文章基本信息

标题：Deriving Barbed Bisimulations for Bigraphical Reactive Systems
本地全文：下载
作者：Davide Grohmann ; Marino Miculan
期刊名称：Electronic Communications of the EASST
电子版ISSN：1863-2122
出版年度：2009
卷号：16
语种：English
出版社：European Association of Software Science and Technology (EASST)
摘要：We study the definition of a general abstract notion of barbed bisimilarity for reactive systems on bigraphs. More precisely, given a bigraphical reactive system, we define the corresponding barbs from the contextual labels given by the IPO construction, in a general and systematic way. These barbs correspond to observe which names on the interface are actually involved in reactions (and how). As examples, we apply this construction to the (bigraphical representation of the) pi-calculus and of Mobile Ambients, and compare the resulting barbed equivalences with those previously known for these calculi.