Login / Signup

Behavioural semantics for asynchronous components.

Rabéa Ameur-BoulifaLudovic HenrioOleksandra KulankhinaEric MadelaineA. Savu
Published in: J. Log. Algebraic Methods Program. (2017)
Keyphrases
  • formal semantics
  • logic programming
  • databases
  • data sets
  • machine learning
  • social networks
  • information systems
  • case study
  • database systems
  • asynchronous communication
  • argumentation semantics