Login / Signup
An Operational Semantics for Concurrent TTCN.
Thomas Walter
Bernhard Plattner
Published in:
Protocol Test Systems (1992)
Keyphrases
</>
operational semantics
reverse engineering
formal semantics
test suite
mental states
model theoretic
data model
declarative semantics
denotational semantics
description language
agent programming
mobile robot
query language
information extraction
modeling language
speech acts