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

Cached

Download Links

by Alan Jeffrey
Citations:13 - 1 self