A Formal Framework for Specifying and Verifying Microservices Based Process Flows.

Matteo Camilli, Carlo Bellettini, Lorenzo Capra, Mattia Monga

Browse the full SEFM paper archive.