Peter Lupton

Publication Activity (10 Years)

Years Active: 1992-1992
Publications (10 Years): 0

Publications

Andrew Kay, Peter Lupton
Sequential to Parallel Buffer Refinement (Short Communication). Formal Aspects Comput. 4 (5) (1992)