A Refinement Calculus for Shared-Variable Parallel and Distributed Programming
Published in Formal Aspects of Computing • Dec 13, 2002
NobleIDNI6P05W81R17S28
Authors:
J. Dingel
Finding related papers...
Discussions
(0)No comments yet
Be the first to share your thoughts!