A fully abstract semantics for concurrent graph reduction (Extended Abstract) (1993)

Cached

Download Links

by Alan Jeffrey
Citations:14 - 1 self