A Stable Non-interleaving Early Operational Semantics for the Pi-Calculus.

Thomas Troels Hildebrandt Christian Johansen Håkon Normann

Published in: LATA (2017)

Keyphrases

operational semantics
term rewriting
formal semantics
model theoretic
declarative semantics
mental states
denotational semantics
activity diagrams
data model
information extraction