Author:
Guzmán Michell,Perchy Salim,Rueda Camilo,Valencia Frank D.
Subject
General Computer Science,Theoretical Computer Science
Reference34 articles.
1. Spatial and epistemic modalities in constraint-based process calculi;Knight,2012
2. Semantic foundations of concurrent constraint programming;Saraswat,1991
3. Nondeterminism and infinite computations in constraint programming;Boer;Theoret. Comput. Sci.,1995
4. Linear concurrent constraint programming: operational and phase semantics;Fages;Inform. and Comput.,2001
5. Distributed concurrent constraint programming;Réty;Fund. Inform.,1998
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Reasoning about distributed information with infinitely many agents;Journal of Logical and Algebraic Methods in Programming;2021-06
2. Semantic Structures for Spatially-Distributed Multi-Agent Systems;Electronic Proceedings in Theoretical Computer Science;2019-08-22
3. Toward a Formal Model for Group Polarization in Social Networks;The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy;2019