Fairness and conspiracy concepts in concurrent systems.

Anup Kumar Bandyopadhyay

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

Keyphrases

concurrent systems
process algebra
distributed systems
temporal logic
model checking
formal specification
petri net
resource allocation
concept learning
background knowledge
web services
game theory