Relaxed Operational Semantics of Concurrent Programming Languages

Gérard Boudol Gustavo Petri Bernard P. Serpette

Published in: EXPRESS/SOS (2012)

Keyphrases

operational semantics
denotational semantics
programming language
concurrent programming
formal semantics
general purpose
high level
object oriented
mental states
data model
logic programming
database languages
software engineering
specification language
strongly typed
object oriented concepts
databases