CITI has stopped operations in 2014, to co-launch NOVA LINCS THIS SITE IS NOT BEING UPDATED SINCE 2013
citi banner
Home Page FCT/UNL UNL
  Home  \  Prototypes  \  Prototype Page Login  
   
banner bottom
File Top
LOCKRES: a session type checker resolving deadlocks

SML/NJ prototype. The tool implements the algorithm presented in TGC 2013.



Authors: Marco Giunti
File Bottom