Information Flow Guided Synthesis with Unbounded Communication.
Bernd FinkbeinerNiklas MetzgerYoram MosesPublished in: CAV (3) (2024)
Keyphrases
- information flow
- communication networks
- information flows
- flow analysis
- social networks
- supply chain
- information security
- functional modules
- flow graph
- social media
- reactive systems
- computer networks
- information systems
- random walk
- information sharing
- database systems
- information diffusion
- instant messaging
- multi threaded
- database