The Formal Speci of a Problem Solved by a Parallel Program { a Relational Model (1995)

by Z Horvath
Venue:In: Proc. of the Fourth Symp. on Programming Languages and Software Tools