Author:
Buscemi Maria Grazia,Coppo Mario,Dezani-Ciancaglini Mariangiola,Montanari Ugo
Publisher
Springer Berlin Heidelberg
Reference23 articles.
1. Lecture Notes in Computer Science;L. Bettini,2008
2. Bistarelli, S., Gadducci, F.: Enhancing constraints manipulation in semiring-based formalisms. In: Brewka, G., Coradeschi, S., Perini, A., Traverso, P. (eds.) ECAI 2006. FAIA, vol. 141, pp. 63–67. IOS Press (2006)
3. Bistarelli, S., Montanari, U., Rossi, F.: Semiring-based constraint satisfaction and optimization. Journal of the ACM 44(2), 201–236 (1997)
4. Bistarelli, S., Montanari, U., Rossi, F.: Semiring-based constraint logic programming: syntax and semantics. ACM Transactions on Programming Languages and Systems 23(1), 1–29 (2001)
5. Bistarelli, S., Santini, F.: A nonmonotonic soft concurrent constraint language for SLA negotiation. In: Aldini, A., ter Beek, M., Gadducci, F. (eds.) CILC 2008. ENTCS, vol. 236, pp. 147–162. Elsevier (2009)
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Global progress for dynamically interleaved multiparty sessions;Mathematical Structures in Computer Science;2014-11-10
2. Honesty by Typing;Formal Techniques for Distributed Systems;2013
3. On the Realizability of Contracts in Dishonest Systems;Lecture Notes in Computer Science;2012