Author:
CALCAGNO CRISTIANO,CARDELLI LUCA,GORDON ANDREW D.
Publisher
Cambridge University Press (CUP)
Cited by
17 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Model Checking of Spatial Logic;2020 27th Asia-Pacific Software Engineering Conference (APSEC);2020-12
2. High-Level Models of Unconventional Computations;Studies in Systems, Decision and Control;2019
3. Unconventional Computers Designed on Swarm Behaviours;Emergence, Complexity and Computation;2018-05-26
4. A Logical Approach to Deciding Semantic Subtyping;ACM Transactions on Programming Languages and Systems;2015-10-16
5. Experiment of a Freight Management System with the Multiple Ambient Calculus;2015 Second International Conference on Mathematics and Computers in Sciences and in Industry (MCSI);2015-08