Bigraphical Refinement

Gian David Perrone, Søren Debois, Thomas Hildebrandt

Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer review

Abstrakt

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

OriginalsprogEngelsk
TitelElectronic Proceedings in Theoretical Computer Science. EPTCS
Antal sider16
Vol/bind55
ForlagUniversity of New South Wales Press
Publikationsdato2012
Sider20-36
DOI
StatusUdgivet - 2012
NavnElectronic Proceedings in Theoretical Computer Science. EPTCS
Vol/bind55

Citationsformater