C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
A stable non-interleaving early operational semantics for the pi-calculus.
Thomas Troels Hildebrandt
Christian Johansen
Håkon Normann
Published in:
J. Log. Algebraic Methods Program. (2019)
Keyphrases
</>
operational semantics
term rewriting
formal semantics
mental states
data model
denotational semantics
declarative semantics
model theoretic
database
reinforcement learning