MPG.eBooks - Search Results - "choreographer"

Cover Image

1

Formal Techniques for Distributed Objects, Components, and Systems : 37th IFIP WG 6.1 International Conference, FORTE 2017, Held as Part of the 12th International Federated Confere...

Published 2017

Springer International Publishing

Table of Contents: “...-based concurrency, reactively -- Procedural choreographic programming -- An observational approach...”