ITU

Bigraphical Refinement

Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

Standard

Bigraphical Refinement. / Perrone, Gian David; Debois, Søren; Hildebrandt, Thomas.

Electronic Proceedings in Theoretical Computer Science. EPTCS. Vol. 55 University of New South Wales Press, 2012. p. 20-36 (Electronic Proceedings in Theoretical Computer Science. EPTCS, Vol. 55).

Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

Harvard

Perrone, GD, Debois, S & Hildebrandt, T 2012, Bigraphical Refinement. in Electronic Proceedings in Theoretical Computer Science. EPTCS. vol. 55, University of New South Wales Press, Electronic Proceedings in Theoretical Computer Science. EPTCS, vol. 55, pp. 20-36. https://doi.org/10.4204/EPTCS.55

APA

Perrone, G. D., Debois, S., & Hildebrandt, T. (2012). Bigraphical Refinement. In Electronic Proceedings in Theoretical Computer Science. EPTCS (Vol. 55, pp. 20-36). University of New South Wales Press. Electronic Proceedings in Theoretical Computer Science. EPTCS Vol. 55 https://doi.org/10.4204/EPTCS.55

Vancouver

Perrone GD, Debois S, Hildebrandt T. Bigraphical Refinement. In Electronic Proceedings in Theoretical Computer Science. EPTCS. Vol. 55. University of New South Wales Press. 2012. p. 20-36. (Electronic Proceedings in Theoretical Computer Science. EPTCS, Vol. 55). https://doi.org/10.4204/EPTCS.55

Author

Perrone, Gian David ; Debois, Søren ; Hildebrandt, Thomas. / Bigraphical Refinement. Electronic Proceedings in Theoretical Computer Science. EPTCS. Vol. 55 University of New South Wales Press, 2012. pp. 20-36 (Electronic Proceedings in Theoretical Computer Science. EPTCS, Vol. 55).

Bibtex

@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",
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",

}

RIS

TY - GEN

T1 - Bigraphical Refinement

AU - Perrone, Gian David

AU - Debois, Søren

AU - Hildebrandt, Thomas

PY - 2012

Y1 - 2012

N2 - 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

AB - 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

U2 - 10.4204/EPTCS.55

DO - 10.4204/EPTCS.55

M3 - Article in proceedings

VL - 55

T3 - Electronic Proceedings in Theoretical Computer Science. EPTCS

SP - 20

EP - 36

BT - Electronic Proceedings in Theoretical Computer Science. EPTCS

PB - University of New South Wales Press

ER -

ID: 32317755