Kohler, Eddie "Prolac: A Language For Protocol Compilation" MSc MIT September, 1997

Languages mentioned

• Estelle {1989}
• Morpheus {1991}
• PROLAC {1996} Language for Protocol Compilation
• RTAG {1988}
• x-kernel {1991}