• try it online!
  • sepi sepi is a a concurrent programming language based on the monadic pi-calculus where interaction is governed by linearly refined session types
  • propi is a tool to statically verify whether pi calculus programs are free from deadlocks
  • mool mool is a mini OO languaged style with support for concurrency that allows programmers to specify class usage protocols as types
  • mil is a polymorphic typed assembly language targeted at shared memory multiprocessors
  • congu checks Java code against algebraic specifications
  • (read more...)