UTP Semantics of a Calculus for Mobile Ad Hoc Networks.

Xi Wu Huibiao Zhu Wanling Xie

Published in: UTP (2019)

Keyphrases

algebraic structure
formal language
formal semantics
semantic information
process algebra
logic programming
database query languages
neural network
relational databases
relational calculus
computer algebra
database
data model
temporal relations