Abella Examples
Process calculi

The πcalculus

Finite πcalculus overview
 Bisimulationupto 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
Firstorder reasoning
Miscellaneous