• Browser-based programming language prototype, for the ECOOP'16 research paper.
• Built using TypeScript, Ace editor, Jison (parser generator), web-workers, jQuery.
• github.com/fmilitao/protocol-composition

Language prototype for the “Composing Interfering Abstract Protocols” ECOOP’16 research paper.