MobilityReadingGroup

π-calculus, Session Types research at the University of Oxford

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