Searching for "A Fully Abstract Semantics for Concurrent Graph Reduction" – sorted by Relevance.
-
A fully abstract semantics for concurrent graph reduction (Extended Abstract)
- A fully abstract semantics for concurrent graph reduction: extended abstract Alan Jeffrey Abstract
- Cited by 12 (1 self) – Add To MetaCart

