From Geometric Semantics to Asynchronous Computability.

Eric Goubault Samuel Mimram Christine Tasson

Published in: DISC (2015)

Keyphrases

formal semantics
geometric structure
conceptual model
geometric information
state machines
data sets
data mining
case study
high level
learning environment
high order
speech acts