Semantics and analysis of linda-based languages
- 1 January 1993
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- Domains of higher-dimensional automataPublished by Springer Nature ,1993
- Abstract Interpretation FrameworksJournal of Logic and Computation, 1992
- Array abstractions using semantic analysis of trapezoid congruencesPublished by Association for Computing Machinery (ACM) ,1992
- Expressing fine-grained parallelism using concurrent data structuresPublished by Springer Nature ,1992
- Modeling concurrency with geometryPublished by Association for Computing Machinery (ACM) ,1991
- OCCAMACM SIGPLAN Notices, 1983
- Categories for the Working MathematicianPublished by Springer Nature ,1971