Concurrent systems and time synchronization.

Mark Burgin Annette Grathoff

Published in: Int. J. Gen. Syst. (2018)

Keyphrases

concurrent systems
distributed systems
temporal logic
petri net
process algebra
formal specification
transition systems
model checking
knowledge acquisition
artificial intelligence
information systems
reinforcement learning
multi agent
state space