Paper Details:
Safe Composition of Web Communication Protocols for Extensible Edge Services