Globally Governed Session Semantics.

Dimitrios Kouzapas Nobuko Yoshida

Published in: CONCUR (2013)

Keyphrases

logic programming
formal semantics
databases
argumentation semantics
artificial intelligence
website
web search
specification language