Beyond contracts for concurrency. - Jonathan S. Ostroff; Faraz Ahmadi Torshizi; Hai Feng Huang; Bernd Schoeller (Formal Aspects Comput., 2009)