Static and dynamic processor allocation for higher-order concurrent languages
- 1 January 1995
- book chapter
- Published by Springer Nature in Lecture Notes in Computer Science
Abstract
No abstract availableKeywords
This publication has 12 references indexed in Scilit:
- Constraints for polymorphic behaviours of concurrent MLPublished by Springer Nature ,2005
- Higher-order concurrent programs with finite communication topology (extended abstract)Published by Association for Computing Machinery (ACM) ,1994
- Analyzing stores and references in a parallel symbolic languagePublished by Association for Computing Machinery (ACM) ,1994
- Reverse reachability analysis: A new technique for deadlock detection on communicating finite state machinesSoftware: Practice and Experience, 1993
- Semantics and analysis of linda-based languagesLecture Notes in Computer Science, 1993
- From CML to process algebrasLecture Notes in Computer Science, 1993
- Concurrent ML: Design, application and semanticsPublished by Springer Nature ,1993
- Techniques for improving grammar Flow AnalysisLecture Notes in Computer Science, 1990
- A practical algorithm for static analysis of parallel programsJournal of Parallel and Distributed Computing, 1989
- Program derivation by fixed point computationScience of Computer Programming, 1989