Concurrent Abstract Predicates

Thomas Dinsdale-Young, Mike Dodds, Philippa Gardner, Matthew J. Parkinson, and Viktor Vafeiadis

Details

Publication typeInproceedings
Published inECOOP
PublisherSpringer Verlag
> Publications > Concurrent Abstract Predicates