1.3. The chapters🔗

• Notation: the symbols used in the displayed statements.

• Bigraphs: the algebra of composition and tensor, reaction, the congruence of bisimilarity, and the encoding of CCS.

• Concrete bigraphs, relative pushouts and bisimulation: labelled transitions derived from reaction rules.

• The π-calculus in binding bigraphs: the encoding and its correspondence with reduction.

• The simulator (BigraphSim): bigraphs and rules as data, with certified matching and certified runs.

• Logic and model checking: modal logics over bigraphical reactive systems and certificate-checked model checking.

• Miolingo: the application, a language-learning system modelled as a bigraphical reactive system.

• Appendix, the locus calculus: the term calculus the project began from.