Worst-Case Input Generation for Concurrent Programs under Non-Monotone Resource Metrics.

Long Pham Jan Hoffmann

Published in: CoRR (2023)

Keyphrases

concurrent programs
worst case
upper bound
lower bound
resource allocation
np hard
real time
databases
process algebra
concurrent programming
boolean functions