Keyphrases
Abstraction Refinement
22%
Behavioral Equivalence
37%
Bisimulation
92%
Bisimulation Equivalence
7%
Calculus
100%
Checking Algorithm
18%
Compositional Minimization
18%
Concurrent Systems
14%
Connectivity Information
11%
Connectivity Probability
11%
Continuous-time
22%
Cryptographic
11%
Embedded Resources
22%
Formal Verification
18%
High-order
29%
Implicit Analysis
7%
Inductive Characterization
22%
Large State
7%
Leader Election Protocol
11%
Linear Position
22%
Local Names
22%
Logical Equivalence
37%
Minority Variants
11%
Mobile Ad Hoc Network (MANET)
22%
Mobile Networks
44%
Mobile Resources
22%
Mobility Function
33%
Mobility Model
22%
Network Distribution
11%
Network Node
11%
Network Topology
33%
Probabilistic Automata
48%
Probabilistic Bisimulation
22%
Probabilistic Broadcast
11%
Probabilistic Computation Tree Logic
14%
Probabilistic Connectivity
11%
Probabilistic Model Checking
7%
Randomized Protocol
11%
Reduction Semantics
11%
Resource Calculus
22%
Routing Protocol
11%
Scheduler
22%
Stochastic Behavior
11%
Topology Constraint
11%
Transition Semantics
18%
Weak Bisimulation
51%
Wireless Networks
33%
Wireless Systems
22%
Zeroconf
11%
π-calculus
22%
Computer Science
ad-hoc network
7%
Automaton
77%
Broadcast Network
11%
Computing Device
22%
Concurrent System
22%
Continuous Time
22%
distributed delay
11%
Embedded Hardware
22%
Experimental Result
11%
Formal Verification
22%
Linear Processes
22%
Logical Equivalence
22%
mobile ad-hoc network
22%
Mobile Network
22%
Mobility Model
22%
Model Analysis
7%
Model Checking
11%
Model Checking Algorithm
22%
Network Distribution
11%
Network Topology
33%
Refinement Step
11%
Routing Protocol
11%
Running Process
11%
Scope Extension
22%
Sensor Networks
7%
Subclasses
11%
Wireless Networks
33%
World Application
7%
