The rest stays unchanged (concurrency and state-based specification)

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
Journal title
Formal aspects of computing The international journal of formal methods → ACNP
ISSN journal
09345043
Volume
6
Issue
5
Year of publication
1994
Pages
471 - 494
Database
ACNP
SICI code