Cross-Reference Redirection
Cross-Reference Redirection
Table of Contents
1.
Introduction
2.
Notation
3.
Bigraphs
4.
Concrete bigraphs, relative pushouts and bisimulation
5.
The π-calculus in binding bigraphs
6.
The simulator (BigraphSim)
7.
Logic and model checking
8.
Miolingo
9.
Appendix: the locus calculus
Dependency Graph
Blueprint Summary