A Communication Lower Bound for Invariance Preserving on Partitioned Transition Systems.

Osvaldo Carvalho Antonio Alfredo Ferreira Loureiro

Published in: OPODIS (1998)

Keyphrases

lower bound
transition systems
upper bound
model checking
temporal logic
concurrent systems
objective function
communication networks
practical reasoning
optimal solution
np hard
knowledge base
markov chain
finite state
control flow