Denotational semantics of channel mobility in UTP-CSP.
Gerard Ekembe NgondiPublished in: Formal Aspects Comput. (2021)
Keyphrases
- denotational semantics
- programming language
- constraint satisfaction problems
- operational semantics
- constraint satisfaction
- abstract data types
- query language
- mobile agents
- decomposition methods
- general purpose
- high level
- np hard
- object oriented
- mobile users
- constraint propagation
- arc consistency
- mobile networks
- data types
- constraint programming
- database
- software engineering
- databases