Authors: David Pitt Paddy Byers

Citation: David Pitt et Paddy Byers, The rest stays unchanged (concurrency and state-based specification), Formal aspects of computing The international journal of formal methods , 6(5), 1994, pp. 471-494