Properties of concurrent programs

Authors
K.Mani Chandy
Citation
K.mani Chandy, Properties of concurrent programs, Formal aspects of computing The international journal of formal methods , 6(6), 1994, pp. 607-619
Journal title
Formal aspects of computing The international journal of formal methods → ACNP
ISSN journal
09345043
Volume
6
Issue
6
Year of publication
1994
Pages
607 - 619
Database
ACNP
SICI code