Bisimulation-Up-To in Abella



This webpage contains some supporting material for the paper:

A lightweight formalization of the meta-theory of bisimulation-up-to” by Kaustuv Chaudhuri, Matteo Cimini, and Dale Miller,

which will appear in the proceedings of CPP 2015.

You may browse the following development on-line. To run them yourself, you will need version 2.0.2 of Abella, available from the main Abella web-page.

CCS

Examples

Package

The π-calculus

Examples

Package


Last updated: