Laura Bocchi
- A Theory of Composing Protocols
2022/03/04 by Laura Bocchi, Dominic Orchard, A. Laura Voinea · 1 voice
Computer Science · #Advanced Software Engineering Methodologies #Logic, programming, and type systems #Service-Oriented Architecture and Web Services #cs.PL