Author:
Francalanza Adrian,Rathke Julian,Sassone Vladimiro
Publisher
Centre pour la Communication Scientifique Directe (CCSD)
Subject
General Computer Science,Theoretical Computer Science
Reference38 articles.
1. R. Amadio and M. Dam. Toward a modal theory of types for thepi-calculus. InFTRTFT, volume 1135 ofLNCS, 1996.
2. H. Andersen, C. Stirling, and G. Winskel. A compositional proof system for the modalμ-calculus. InLICS, volume 4-7, pages 144-153, 1994.
3. J. Armstrong.Programming Erlang. Pragmatic Bookshelf, 2007.
4. M. Berger, K. Honda, and N. Yoshida. Completeness and full abstraction in modal logics for typed mobile processes. InICALP, volume 5126 ofLNCS, pages 99-111, 2008.
5. R. Bornat, C. Calcagno, P. O'Hearn, and M. Parkinson. Permission accounting in separation logic. InPOPL, pages 259-270, 2005.
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献