€ 74,00
+ € 6,49 Verzending

ML with Concurrency

  • Merk: Unbranded
Verkocht door:

ML with Concurrency

  • Merk: Unbranded

€ 74,00

Op voorraad
+ € 6,49 Verzending

14-dagen retourbeleid

Verkocht door:

€ 74,00

Op voorraad
+ € 6,49 Verzending

14-dagen retourbeleid

Betaalmethoden:

Beschrijving

ML with Concurrency

1 Introduction. - 2 The Essence of Concurrent ML. - 2. 1 Introduction. - 2. 2 The Fundamental Ideas. - 2. 3 Overview of CML. - 2. 4 The Semantics of Mini-CML. - 2. 5 Events and Their Algebra. - 2. 6 Expressiveness. - 2. 7 Implementing Concurrency Abstractions in CML. - 2. 8 Conclusions and Related Work. - 3 Concurrency in Poly/ML. - 3. 1 Introduction. - 3. 2 The Poly/ML Concurrency Primitives. - 3. 3 The Uniprocessor Implementation. - 3. 4 A Shared Memory Multiprocessor Implementation. - 3. 5 The Development of a Distributed Implementation. - 3. 5. 1 Additional Primitives. - 3. 6 Implementation on LEMMA. - 4 CCS Programming in an ML Framework: An Account of LCS. - 4. 1 Introduction. - 4. 2 Features of LCS. - 4. 3 Typing Behavior Expressions. - 4. 4 Operational Semantics. - 4. 5 The Implementation Model. - 4. 6 Conclusion. - 5 FACILEFrom Toy to Tool. - 5. 1 Introduction. - 5. 2 Design and Development of FACILE. - 5. 3 Language Features. - 5. 4 Implementation. - 5. 5 Applications. - 5. 6 Conclusion. - 6 A Semantic Theory for ML Higher-Order Concurrency Primitives. - 6. 1 Motivation and Background. - 6. 2 Related Work. - 6. 3 Informal Presentation. - 6. 4 Static Semantics. - 6. 5 Dynamic Semantics. - 6. 6 Conclusion. - Appendix 6. A Semantic Functions. - Appendix 6. B Semantic Rules. - 7 Communication Analysis for Concurrent ML. - 7. 1 Introduction. - 7. 2 Extracting the Communication Topology. - 7. 3 Semantics. - 7. 4 Subject Reduction Property. - 7. 5 Decidability Issues. - 7. 6 Conclusion. - Appendix 7. A Syntactic Properties of the Typing System. - Appendix 7. B Semantic Properties of the Ordering. - Appendix 7. C Semantic Properties of the Typing System. - Appendix 7. D Decidability Issues Concerning the Orderings. - References. Language: English
  • Merk: Unbranded
  • Categorie: Computers & Internet
  • Artiest: Flemming Nielson
  • Uitgever / Label: Springer
  • Formaat: Paperback
  • Aantal pagina's: 255
  • Verschijningsdatum: 2011/10/08
  • Taal: English
  • Fruugo-ID: 337902419-741561798
  • ISBN: 9781461274834

Levering & retouren

Verzonden binnen6 dagen

  • STANDARD: € 6,49 - Levering tussen ma 19 januari 2026–do 22 januari 2026

Verzending vanaf Verenigd Koninkrijk.

We doen ons best om ervoor te zorgen dat de producten die u bestelt volledig en volgens uw specificaties bij u worden afgeleverd. Mocht u echter een onvolledige bestelling ontvangen of andere artikelen dan degene die u heeft besteld, of als er een andere reden is waarom u niet tevreden bent met de bestelling, dan kunt u de bestelling retourneren, of welk product dan ook die bij de bestelling was inbegrepen, en ontvangt u een volledige terugbetaling voor de artikelen. Bekijk het volledige retourbeleid