Sign in

An Abstract Semantics of the Global View of Choreographies.

Roberto GuancialeEmilio 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