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影响因子(影响力)学科排名




书目名称ML with Concurrency网络公开度




书目名称ML with Concurrency网络公开度学科排名




书目名称ML with Concurrency被引频次




书目名称ML with Concurrency被引频次学科排名




书目名称ML with Concurrency年度引用




书目名称ML with Concurrency年度引用学科排名




书目名称ML with Concurrency读者反馈




书目名称ML with Concurrency读者反馈学科排名

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