Compositional Proofs for Concurrent Objects
Published in Lecture notes in computer science • Jan 1, 1998
NobleIDNI3P74W11R56S86
Authors:,
Jerry James
Ambuj K. Singh
Finding related papers...
Discussions
(0)No comments yet
Be the first to share your thoughts!