15-836 Substructural Logics
Resources

MPass

A small message-passing language based on linear logic

SAX

A small asynchronous message-passing language based on linear logic