A type-sound calculus of computational fields-Reference-Cited by-同舟云学术

A type-sound calculus of computational fields

Author:

Damiani Ferruccio^ORCID,Viroli Mirko,Beal Jacob

Funder

European Union's Horizon 2020 research and innovation programme

FP7

COST

MIUR

Ateneo/CSP

the United States Air Force and the Defense Advanced Research Projects Agency

Publisher

Elsevier BV

Subject

Software

Reference58 articles.

1. Meld: a declarative approach to programming ensembles;Ashley-Rollman,2007

2. Building spatial computers;Bachrach,2007

3. Empirical characterization of discretization error in gradient-based algorithms;Bachrach,2008

4. Engineered self-organization approaches to adaptive design;Beal,2012

Cited by 27 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Multi-agent systems with virtual stigmergy;Science of Computer Programming;2020-02

3. On Distributed Runtime Verification by Aggregate Computing;Electronic Proceedings in Theoretical Computer Science;2019-08-27

4. A Framework for Self-Adaptive Dispersal of Computing Services;2019 IEEE 4th International Workshops on Foundations and Applications of Self* Systems (FAS*W);2019-06