Bigraphs by Example
- Troels Christoffer Damgaard,
Research Output:
Book / Anthology / Report
Report
Research
Open access
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.
Publication Information
Output type
Research Output:
Book / Anthology / Report
Report
Research
Original language
EnglishPublication milestones
- Published - 10/2005
Publication status
Published - 10/2005
Place of publication
CopenhagenEdition
TR-2005-61Publisher
IT-Universitetet i København, DenmarkBook series
- Book series name: IT University Technical Report Series
Series number: TR-2005-61
ISSN: 1600-6100
ISBN (Electronic)
87-7949-090-5Funding Details
This work was funded in part by the Danish Research Agency (grant no.: 2059-03-0031) and the IT University of Copenhagen (the LaCoMoCo project).
Access to documents
Final published version, 177 KB