Efficient Checking of Link-Reversal-Based Concurrent Systems.

Matthias Függer Josef Widder

Published in: CONCUR (2012)

Keyphrases

concurrent systems
temporal logic
process algebra
database
distributed systems
cost effective
information retrieval
lightweight
model checking