Titlebook: ML with Concurrency; Design, Analysis, Im Flemming Nielson Book 1997 Springer-Verlag New York, Inc. 1997 C programming language.ML.Standard

Philanthropist

書目名稱ML with Concurrency影響因子(影響力)




書目名稱ML with Concurrency影響因子(影響力)學(xué)科排名




書目名稱ML with Concurrency網(wǎng)絡(luò)公開度




書目名稱ML with Concurrency網(wǎng)絡(luò)公開度學(xué)科排名




書目名稱ML with Concurrency被引頻次




書目名稱ML with Concurrency被引頻次學(xué)科排名




書目名稱ML with Concurrency年度引用




書目名稱ML with Concurrency年度引用學(xué)科排名




書目名稱ML with Concurrency讀者反饋




書目名稱ML with Concurrency讀者反饋學(xué)科排名

armistice

engender

Counteract

CESS

Coterminous

sparse

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

鬧劇

追蹤

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