Information flow in systems with schedulers, Part II: Refinement.

Ron van der Meyden Chenyi Zhang

Published in: Theor. Comput. Sci. (2013)

Keyphrases

information flow
reactive systems
social networks
flow analysis
distributed systems
computer systems
functional modules
intelligent systems
scheduling algorithm