Sortings & Bigraphs

  title={Sortings & Bigraphs},
  author={Bigraphs S\oren Debois},
  • Bigraphs Søren Debois
  • Published 2007
In this dissertation, we study sortings for reactive and bigraphical reactive systems. Both classes of systems have transitions derived from reactions in such a way that if the category underlying the system in question has sufficient relative pushouts, then bisimulation on the derived transitions will be congruence. It turns out that every application of bigraphical reactive systems in the literature has required an extension of the category of pure bigraphs. Usually, such an extension takes… CONTINUE READING

From This Paper

Figures, tables, and topics from this paper.


Publications referenced by this paper.

Similar Papers

Loading similar papers…