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

Cached

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:17 - 8 self