Information Flow Guided Synthesis with Unbounded Communication.
Bernd FinkbeinerNiklas MetzgerYoram MosesPublished in: CoRR (2024)
Keyphrases
- information flow
- communication networks
- information flows
- social networks
- flow analysis
- functional modules
- multi threaded
- flow graph
- distributed databases
- information security
- distributed teams
- computer networks
- decision support
- supply chain
- information exchange
- information sharing
- reactive systems
- information systems