Affiliation:
1. IMT School for Advanced Studies Lucca; Piazza S. Francesco, 19 Lucca 55100 Italy
Subject
Computational Theory and Mathematics,Computer Networks and Communications,Computer Science Applications,Theoretical Computer Science,Software
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Developing political-ecological theory: The need for many-task computing;PLOS ONE;2020-11-24
2. A formal approach to the engineering of domain-specific distributed systems;Journal of Logical and Algebraic Methods in Programming;2020-02
3. Writing Robotics Applications with X-Klaim;Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles;2020
4. A Distributed Ledger Technology Based on Shared Write-Once Objects;Models, Languages, and Tools for Concurrent and Distributed Programming;2019