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