Abella Examples
Process calculi
-
The π-calculus
-
Finite π-calculus overview
- Bisimulation-up-to for the π-calculus with replication
- Relating the π-calculus and the λ-calculus (contributed by Horace Blanc)
-
The Calculus of Communicating Systems (CCS)
Programming languages
Logic
The λ-calculus
First-order reasoning
Miscellaneous