MobilityReadingGroup

π-calculus, Session Types research at Imperial College

BitML
A domain-specific language for smart contracts with a computationally sound embedding into Bitcoin
Link Sources
Related publications