Modeling fairness and starvation in concurrent systems.

Anup Kumar Bandyopadhyay

Published in: ACM SIGSOFT Softw. Eng. Notes (2007)

Keyphrases

concurrent systems
transition systems
distributed systems
formal specification
model checking
temporal logic
process algebra
machine learning
petri net
resource allocation