Bigraphical Refinement

Gian David Perrone, Søren Debois, Thomas Hildebrandt

Research output: Conference Article in Proceeding or Book/Report chapterArticle in proceedingsResearchpeer-review


We propose a mechanism for the vertical refinement of bigraphical reactive systems, based upon a mechanism for limiting observations and utilising the underlying categorical structure of bigraphs. We present a motivating example to demonstrate that the proposed notion of refinement is sensible with respect to the theory of bigraphical reactive systems; and we propose a sufficient condition for guaranteeing the existence of a safety-preserving vertical refinement. We postulate the existence of a complimentary notion of horizontal refinement for bigraphical agents, and finally we discuss the connection of this work to the general refinement of Reeves and Streader

Original languageEnglish
Title of host publicationElectronic Proceedings in Theoretical Computer Science. EPTCS
Number of pages16
PublisherUniversity of New South Wales Press
Publication date2012
Publication statusPublished - 2012
SeriesElectronic Proceedings in Theoretical Computer Science. EPTCS


Dive into the research topics of 'Bigraphical Refinement'. Together they form a unique fingerprint.

Cite this