@inproceedings{2447e78adf0d4859ab594553e65463a2,
title = "Bigraphical Refinement",
abstract = "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",
keywords = "Vertical refinement, Bigraphical reactive systems, Categorical structure, Safety-preserving, Horizontal refinement, Vertical refinement, Bigraphical reactive systems, Categorical structure, Safety-preserving, Horizontal refinement",
author = "Perrone, {Gian David} and S{\o}ren Debois and Thomas Hildebrandt",
year = "2012",
doi = "10.4204/EPTCS.55",
language = "English",
volume = "55",
series = "Electronic Proceedings in Theoretical Computer Science. EPTCS",
publisher = "University of New South Wales Press",
pages = "20--36",
booktitle = "Electronic Proceedings in Theoretical Computer Science. EPTCS",
}