Parallel Program Behavior -- Specification and Abstraction Using BDL (1986)

Cached

Download Links

by Jerry C Yan