標題: Titlebook: ML with Concurrency; Design, Analysis, Im Flemming Nielson Book 1997 Springer-Verlag New York, Inc. 1997 C programming language.ML.Standard [打印本頁] 作者: Philanthropist 時間: 2025-3-21 18:18
書目名稱ML with Concurrency影響因子(影響力)
書目名稱ML with Concurrency影響因子(影響力)學科排名
書目名稱ML with Concurrency網(wǎng)絡公開度
書目名稱ML with Concurrency網(wǎng)絡公開度學科排名
書目名稱ML with Concurrency被引頻次
書目名稱ML with Concurrency被引頻次學科排名
書目名稱ML with Concurrency年度引用
書目名稱ML with Concurrency年度引用學科排名
書目名稱ML with Concurrency讀者反饋
書目名稱ML with Concurrency讀者反饋學科排名
作者: armistice 時間: 2025-3-21 20:36 作者: engender 時間: 2025-3-22 00:37 作者: Counteract 時間: 2025-3-22 05:39 作者: CESS 時間: 2025-3-22 12:26 作者: Coterminous 時間: 2025-3-22 16:36 作者: sparse 時間: 2025-3-22 17:47
CCS Programming in an ML Framework: An Account of LCS,g languages based upon the behavioral paradigms introduced by CSP and CCS..The language extends Standard ML with behavior expressions based upon a higher-order extension of the CCS formalism. The extended CCS constructions express concurrency and communication; the SML constructions are used to spec作者: 鬧劇 時間: 2025-3-22 21:57 作者: 追蹤 時間: 2025-3-23 03:13
A Semantic Theory for ML Higher-Order Concurrency Primitives,a dynamic semantics. The static semantics is inspired by the type and effect discipline. More precisely, we present a generalization of this discipline in order to deal with concurrency. The generalization consists in an inference type system that propagates the communication effects that result fro作者: RADE 時間: 2025-3-23 09:10 作者: Psa617 時間: 2025-3-23 11:28 作者: 我悲傷 時間: 2025-3-23 17:11 作者: 保守黨 時間: 2025-3-23 20:20
Book 1997Both functional and concurrent programming are relatively new paradigms with great promise. In this book, a survey is provided of extensions to Standard ML, one of the most widely used functional languages, with new primitives for concurrent programming. Computer scientists and graduate students will find this a valuable guide to this topic.作者: 沒收 時間: 2025-3-24 01:39
https://doi.org/10.1007/978-1-4612-2274-3C programming language; ML; Standard ML; communication; concurrency; concurrent programming; design; develo作者: 仔細檢查 時間: 2025-3-24 06:20 作者: 厚顏 時間: 2025-3-24 10:04 作者: 放牧 時間: 2025-3-24 11:24 作者: Folklore 時間: 2025-3-24 18:28 作者: PSA-velocity 時間: 2025-3-24 19:32 作者: 混合 時間: 2025-3-24 23:15
Concurrency in Poly/ML,the implementations, starting with the original uniprocessor version and following on with systems on the Firefly shared-memory multiprocessor and the more recent work on a distributed network of workstations.作者: objection 時間: 2025-3-25 04:26
The Essence of Concurrent ML,ices need to be made. The event mechanism allows one to build abstractions that expose the communication. The language CML features mobility, polymorphism, and ordinary lambda-abstraction as well as events. In this article we discuss the basic features and explain how CML can be used to implement new concurrent abstractions.作者: Baffle 時間: 2025-3-25 09:49
Rajesh Nanda,Amar Ranganfeel more comfortable dealing with taxes..Tax Strategies for the Small Business Owner: Reduce Your Taxes and Fatten Your Profits?. will help the small business owner increase profits while feeling more comfortable dealing with taxes. It begins by looking at the often overlooked critical decision sma作者: SHRIK 時間: 2025-3-25 12:48 作者: Affiliation 時間: 2025-3-25 15:55 作者: puzzle 時間: 2025-3-25 22:37 作者: defibrillator 時間: 2025-3-26 00:22 作者: GROUP 時間: 2025-3-26 07:12 作者: Efflorescent 時間: 2025-3-26 11:10 作者: Phenothiazines 時間: 2025-3-26 13:37
1868-4238 ndustrial Systems, DoCEIS 2023, held in Monte da Caparica, Portugal, during July 5-7, 2022...The 22 full papers presented were carefully reviewed and selected from 47 submissions. The papers cover the following topics: energy communities; smart energy and power systems; intelligent manufacturing; he作者: 執(zhí) 時間: 2025-3-26 18:19 作者: Synthesize 時間: 2025-3-26 23:22
Human Development and Economic Growth and in terms of policy implications. In addition to the main theories, some empirical evidence is also being presented. Finally, specific sections are devoted to policy implications and specificities of transition countries.作者: 四目在模仿 時間: 2025-3-27 03:29 作者: 認識 時間: 2025-3-27 08:00 作者: 切碎 時間: 2025-3-27 12:20 作者: 粘 時間: 2025-3-27 16:08 作者: 無能力 時間: 2025-3-27 20:10
Book 19751st editione been proved in this area, but the volume is as useful as ever because it.remains the best introduction to the basics of the ergodic theory of hyperbolic systems.’’.?Forthis printing of R. Bowen’s book, J.-R. Chazottes has rekeyed it in TeX for easierreading, thereby correcting typos and bibliographic details..作者: alleviate 時間: 2025-3-28 00:14 作者: PHAG 時間: 2025-3-28 05:53
