Search alternatives:
"choreographer" » "choreographed", "choreography", "choreographic"
"choreographies" » "choreography"
Cover Image
Read Now

1
Published 2023
Springer Nature Switzerland
Table of Contents: “... Temporal Logic for Quality of Service in Choreographic Models -- Interactive Matching Logic Proofs in Coq...”