A compositional proof system for distributed programs
Published in Lecture notes in computer science • Nov 22, 2005
Authors:
Kastytis Gečas
Finding related papers...
Discussions
(0)No comments yet
Be the first to share your thoughts!
No comments yet
Be the first to share your thoughts!