This artifact contains MISTY, a tool that we developed to demonstrate the approach and results from our ECOOP 2019 paper.
MISTY incorporates a domain-specific language for message-passing concurrency based on HO, a process calculus with session types. This language allows to implement concurrent processes with standard session types, i.e., session types with sequencing in protocols.
Our ECOOP paper shows how to decompose a process so that it is typable using session types without sequencing—we call these types minimal session types. Accordingly, MISTY decomposes an input program into a program with minimal session types. It also simulates the reduction of processes, for both input programs and decomposed programs.
The output of MISTY are source and decomposed programs as LaTex code that follows the style of the ECOOP paper.