## Abstract

We develop a theory of sorted bigraphical reactive systems. Every application of bigraphs in the literature has required an extension, a sorting, of pure bigraphs. In turn, every such application has required a redevelopment of the theory of pure bigraphical reactive systems for the sorting at hand. Here we present a general construction of sortings. The constructed sortings always sustain the behavioural theory of pure bigraphs (in a precise sense), thus obviating the need to redevelop that theory for each new application. As an example, we recover Milner's local bigraphs as a sorting on pure bigraphs.

Technically, we give our construction for ordinary reactive systems, then lift it to bigraphical reactive systems. As such, we give also a construction of sortings for ordinary reactive systems. This construction is an improvement over previous attempts in that it produces smaller and much more natural sortings, as witnessed by our recovery of local bigraphs as

a sorting.

Technically, we give our construction for ordinary reactive systems, then lift it to bigraphical reactive systems. As such, we give also a construction of sortings for ordinary reactive systems. This construction is an improvement over previous attempts in that it produces smaller and much more natural sortings, as witnessed by our recovery of local bigraphs as

a sorting.

Originalsprog | Engelsk |
---|---|

Bogserie | Lecture Notes in Computer Science |

Vol/bind | 5201 |

Sider (fra-til) | 218-232 |

Antal sider | 15 |

ISSN | 0302-9743 |

DOI | |

Status | Udgivet - 2008 |

Begivenhed | International Conference on Concurrency Theory 2008 - Toronto, Canada Varighed: 19 aug. 2008 → 22 aug. 2008 Konferencens nummer: 19 |

### Konference

Konference | International Conference on Concurrency Theory 2008 |
---|---|

Nummer | 19 |

Land/Område | Canada |

By | Toronto |

Periode | 19/08/2008 → 22/08/2008 |

## Emneord

- sorted bigraphical reactive systems
- pure bigraphs
- sorting construction
- behavioural theory
- Milner's local bigraphs