Publisher
Centre pour la Communication Scientifique Directe (CCSD)
Subject
General Computer Science,Theoretical Computer Science
Reference17 articles.
1. Franco Barbanera, Michele Bugliesi, Mariangiola Dezani-Ciancaglini, and Vladimiro Sassone. A calculus of bounded capacities. In Vijay A. Saraswat, editor,ASIAN, volume 2896 ofLecture Notes in Computer Science, pages 205-223. Springer, 2003.
2. Mobile ambients
3. Giuseppe Castagna, Nils Gesbert, and Luca Padovani. A theory of contracts for web services. InPOPL '08, 35th ACM Symposium on Principles of Programming Languages, Jan 2008.
4. Matthew Collinson and David Pym. Algebra and logic for resource-based systems modelling. Technical report, Hewlett-Packard Laboratories, 2007. Submitted for Publication.
5. Manfred Droste, Werner Kuich, and Heiko Vogler, editors.Handbook of Weighted Automata. EATCS Monographs in Theoretical Computer Science. Springer-Verlag, 2009.
Cited by
8 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献