Author:
Brodo Linda,Olarte Carlos
Subject
General Computer Science,Theoretical Computer Science
Reference24 articles.
1. A calculus for cryptographic protocols: The spi calculus;Abadi;Inf. Comput.,1999
2. Enhancing constraints manipulation in semiring-based formalisms;Bistarelli,2006
3. Semiring-based contstraint logic programming: syntax and semantics;Bistarelli;ACM Trans. Program. Lang. Syst.,2001
4. Open multiparty interaction;Bodei,2012
5. A formal approach to open multiparty interactions;Bodei;Theor. Comput. Sci.,2019
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献