Defining Fairness in Reactive and Concurrent Systems.

Hagen Völzer Daniele Varacca

Published in: J. ACM (2012)

Keyphrases

concurrent systems
temporal logic
distributed systems
process algebra
model checking
petri net
formal specification
transition systems
reactive systems
resource allocation
database
real time
game theory
reactive planning
genetic algorithm
learning algorithm