Formalizing Microservices Patterns with Event-B: The Case of Service Registry.

Sebastin Vergara, Laura Gonzlez, Ral Ruggia

Browse the full ICSOC paper archive.