Talk Keyword Index

TALK KEYWORD INDEX

This page contains an index consisting of author-provided keywords.

Shortcuts: A B C D L M O P Q S T U V W

A
automatic structures	Quantitative Automatic Structures
B
blind multi-counter automata	Of stacks (of stacks (...) with blind counters) with blind counters
C
communicating finite-state machines	Model Checking Communicating Finite-State Machines using Local Temporal Logics
compressed words	Unary Pushdown Automata and Straight-Line Programs
cutoffs	Parameterized Model Checking of Rendezvous Systems
D
decision problems	Unary Pushdown Automata and Straight-Line Programs
downward closure	Of stacks (of stacks (...) with blind counters) with blind counters
L
language classes	Of stacks (of stacks (...) with blind counters) with blind counters
M
message sequence charts	Model Checking Communicating Finite-State Machines using Local Temporal Logics
model checking	Model Checking Communicating Finite-State Machines using Local Temporal Logics
MSO definable graphs of bounded clique-width	Parameterized Model Checking of Rendezvous Systems
O
one counter automata	Simulation for infinite state systems.
one counter nets	Simulation for infinite state systems.
One-Counter automata	Simulation Over One-Counter Nets is PSPACE-Complete
P
pairwise rendezvous	Parameterized Model Checking of Rendezvous Systems
parameterized model checking	Parameterized Model Checking of Rendezvous Systems
Parikh's theorem	Of stacks (of stacks (...) with blind counters) with blind counters
pushdown automata	Unary Pushdown Automata and Straight-Line Programs Of stacks (of stacks (...) with blind counters) with blind counters
Pushdown Systems	Quantitative Automatic Structures
Q
quantitative systems	Quantitative Automatic Structures
S
Satisfiability problem	Model Checking Communicating Finite-State Machines using Local Temporal Logics
silent transitions	Of stacks (of stacks (...) with blind counters) with blind counters
simulation	Simulation for infinite state systems. Simulation Over One-Counter Nets is PSPACE-Complete
straight-line program	Unary Pushdown Automata and Straight-Line Programs
T
temporal logics	Model Checking Communicating Finite-State Machines using Local Temporal Logics
U
unary regular language	Unary Pushdown Automata and Straight-Line Programs
V
VASS	Simulation Over One-Counter Nets is PSPACE-Complete
W
weak simulation	Simulation for infinite state systems.