CSILF

From FSL

This is the page for CSILF, a concurrent version of SILF. We are using this to investigate concurrency and language analysis, such as model checking. More information should be available soon!