CiteSeerX — Related by cluster: A fully abstract semantics for concurrent graph reduction (Extended Abstract)

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

Cached

Download Links

[klee.cs.depaul.edu]

Other Repositories/Bibliography

DBLP

by Alan Jeffrey

Citations:

12 - 1 self

Document Versions

A fully abstract semantics for concurrent graph reduction (Extended Abstract) –Alan Jeffrey — 1993