An Abstract Semantics of the Global View of Choreographies.

Roberto Guanciale Emilio Tuosto

Published in: ICE (2016)

Keyphrases

global view
propositional dynamic logic
formal semantics
logic programming
transformation rules
databases
learning algorithm
low level
higher level
logical language