Formal Modelling of Burst-Mode Specifications in a Distributed Environment.
Alex ChanDanil SokolovVictor KhomenkoAlex YakovlevPublished in: FDL (2022)
Keyphrases
- distributed environment
- formal specification
- distributed databases
- distributed systems
- intelligent agents
- formal language
- reactive systems
- distributed computing
- operational semantics
- peer to peer networks
- peer to peer
- formal model
- distributed data mining
- formal descriptions
- highly distributed
- controlled natural language
- skyline queries
- information resources
- formal semantics
- neural network
- concurrency control
- artificial neural networks
- distributed data sources
- delay insensitive
- high level
- genetic algorithm