ITU

Bigraphical Refinement

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

View graph of relations

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
Volume55
PublisherUniversity of New South Wales Press
Publication date2012
Pages20-36
DOIs
Publication statusPublished - 2012
SeriesElectronic Proceedings in Theoretical Computer Science. EPTCS
Volume55

ID: 32317755