Full Abstraction for Linda
No abstract available.
Related papers
- Distributed Data Structures in Linda POPL 1986
- Generative Communication in Linda TOPLAS 1985
- Digitisation and Full Abstraction for Dense-Time Model Checking TACAS 2002
- Full text of all questions submitted HOPL 1978
- Full text of all questions submitted HOPL 1978
- Full text of all questions submitted HOPL 1978
- Full text of all questions submitted HOPL 1978
- Full text of all questions submitted HOPL 1978