Axiomatic treatment of processes with shared variables revisited

Authors
Olaf Owe
Citation
Olaf Owe, Axiomatic treatment of processes with shared variables revisited, Formal aspects of computing The international journal of formal methods , 4(4), 1992, pp. 323-340
Journal title
Formal aspects of computing The international journal of formal methods → ACNP
ISSN journal
09345043
Volume
4
Issue
4
Year of publication
1992
Pages
323 - 340
Database
ACNP
SICI code