Specification, Transformation, and Programming of Concurrent Systems in Rewriting Logic (1994)

View PDF

Download Links

by Patrick Lincoln , Narciso Martí-Oliet , Jos , José Meseguer , P. Lincoln , N. Mart I-oliet , J. Meseguer
Venue:Specification of Parallel Algorithms, pages 309--339. DIMACS Series
Citations:18 - 9 self