Full abstraction for a shared variable parallel language (1993)

by S Brookes
Venue:In Proceedings of the 8th. Annual Symposium on Logic in Computer Science