Loci: A Deductive Framework for Graph-Based Algorithms

Computing in Object-Oriented Parallel Environments - Lecture Notes in Computer Science ◽

10.1007/10704054_15 ◽

1999 ◽

pp. 142-153 ◽

Cited By ~ 26

Author(s):

Edward A. Luke

Download Full-text