Formal Semantics of Synchronous Transfer Architecture.

Gordon Cichon Martin Hofmann

Published in: Modellierung (2014)

Keyphrases

formal semantics
modeling language
er model
logical reasoning
logical language
lower layers
first order logic
operational semantics
formal language
databases
ontology languages
software architecture
artificial intelligence
data management