Full abstraction for a shared variable parallel language (1993)

Cached

Download Links

by Stephen Brookes
Venue:In Proceedings, 8th Annual IEEE Symposium on Logic in Computer Science
Citations:39 - 4 self