Keyphrases
Bisimulation
85%
Weak Bisimulation
66%
Probabilistic Automata
61%
Mobile Networks
57%
Behavioral Equivalence
47%
Logical Equivalence
47%
Mobility Function
42%
Wireless Networks
42%
Calculus
42%
Abstraction Refinement
28%
Mobility Model
28%
Network Topology
28%
Probabilistic Bisimulation
28%
Scheduler
28%
Continuous-time
28%
Compositional Minimization
23%
Checking Algorithm
23%
Formal Verification
23%
Probabilistic Computation Tree Logic
19%
Concurrent Systems
19%
Connectivity Probability
14%
Probabilistic Connectivity
14%
Probabilistic Broadcast
14%
Network Distribution
14%
Zeroconf
14%
Stochastic Behavior
14%
Minority Variants
14%
Network Node
14%
Connectivity Information
14%
Topology Constraint
14%
Randomized Protocol
14%
Leader Election Protocol
14%
Probabilistic Model Checking
9%
Bisimulation Equivalence
9%
Large State
9%
Implicit Analysis
9%
Refinement Techniques
9%
Explicit Analysis
9%
Trace Distribution
9%
Strong Bisimulation
9%
Biosimilarity
9%
Bounded Bisimulations
9%
Infinite State
9%
Prototype Implementation
9%
Compositionality
9%
Quotient Automata
9%
Bisimulation Relation
9%
Stochastic Systems
9%
Computer Science
Automaton
100%
Wireless Networks
42%
Network Topology
28%
Concurrent System
28%
Mobile Network
28%
Continuous Time
28%
Formal Verification
28%
Mobility Model
28%
Logical Equivalence
28%
Model Checking Algorithm
28%
Experimental Result
14%
Broadcast Network
14%
Running Process
14%
distributed delay
14%
Subclasses
14%
Model Checking
14%
Network Distribution
14%
Refinement Step
14%
