A Dynamic Logic for Systems with Predicate-Based Communication.

Rolf Hennicker Martin Wirsing

Published in: ISoLA (2) (2020)

Keyphrases

dynamic logic
distributed systems
intelligent systems
complex systems
first order logic
neural network
expert systems
management system
fuzzy logic
communication networks
communication systems
communication channels
distributed computation