A formal semantics of nested atomic sections with thread escape.

Frédéric Dabrowski Frédéric Loulergue Thomas Pinsard

Published in: Comput. Lang. Syst. Struct. (2015)

Keyphrases

formal semantics
operational semantics
modelling language
er model
theorem prover
formal language
modeling language
logical reasoning
logical language
first order logic
speech acts
relational databases
open source
design patterns