C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Rule Formats for Bounded Nondeterminism in Structural Operational Semantics.
Luca Aceto
Álvaro García-Pérez
Anna Ingólfsdóttir
Published in:
Semantics, Logics, and Calculi (2016)
Keyphrases
</>
operational semantics
formal semantics
model theoretic
data model
activity diagrams
mental states
denotational semantics
metadata
situation calculus
declarative semantics
agent programming
object oriented