//-->
Introduction to the special issue
Bonanno, Giacomo, (2013)
Program equilibrium—a program reasoning approach
Hoek, Wiebe, (2013)