
Protocol Composition
- 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.