Short communication sequential to parallel buffer refinement

Authors
Andrew Kay Peter Lupton
Citation
Andrew Kay et Peter Lupton, Short communication sequential to parallel buffer refinement, Formal aspects of computing The international journal of formal methods , 4(5), 1992, pp. 487-492
Journal title
Formal aspects of computing The international journal of formal methods → ACNP
ISSN journal
09345043
Volume
4
Issue
5
Year of publication
1992
Pages
487 - 492
Database
ACNP
SICI code