@book{9f94de698d4f4016a19d1c166eb74382,
title = "Bigraphs by Example",
abstract = "To gain familiarity with bigraphs and to investigate their modeling capabilities, we model a switch, finite automata, the game of {"}life'', combinatory logic, term unification and an event-driven system as bigraphical reactive systems.",
author = "Damgaard, {Troels Christoffer} and S{\o}ren Debois",
year = "2005",
month = oct,
language = "English",
series = "IT University Technical Report Series",
number = "TR-2005-61",
publisher = "IT-Universitetet i K{\o}benhavn",
address = "Denmark",
edition = "TR-2005-61",
}