Modelling and Reasoning about Dynamic Networks as Concurrent Systems.
Yanti RusmawatiDavid E. RydeheardPublished in: FSFMA (2013)
Keyphrases
- dynamic networks
- concurrent systems
- distributed systems
- temporal logic
- process algebra
- network structure
- network analysis
- petri net
- formal specification
- dynamic behavior
- temporal evolution
- model checking
- network dynamics
- biological networks
- real world networks
- social network analysis
- complex networks
- information retrieval
- building blocks
- supervised learning