Publication:3680242

zbMath0565.68006MaRDI QIDQ3680242

Kamal Lodaya, Ramaswamy Ramanujam

Publication date: 1985

zbMATH Keywords

fairness; Guarded commands; schedulers of nondeterministic programs

Mathematics Subject Classification ID

68Q60: Specification and verification (program logics, model checking, etc.)

68N01: General topics in the theory of software

Related Items

A Theory of Bounded Fair Scheduling