A Theory of Composable Lingos for Protocol Dialects

Víctor García, Santiago Escobar, Catherine Meadows +1

Formal patterns are formally specified solutions to frequently occurring distributed system problems that are generic, executable, and come with strong qualitative and/or quantitat…