Specifying Concurrent Program Modules
Published in ACM Transactions on Programming Languages and Systems • Apr 1, 1983
NobleIDNI6P23W51R98S95
Authors:
Leslie Lamport
Finding related papers...
Discussions
(0)No comments yet
Be the first to share your thoughts!