Author:
Lienhardt Michael,Mezzina Claudio Antares,Schmitt Alan,Stefani Jean-Bernard
Publisher
Springer Berlin Heidelberg
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Static Semantics of Secret Channel Abstractions;Secure IT Systems;2014
2. Algorithmic type checking for a pi-calculus with name matching and session types;The Journal of Logic and Algebraic Programming;2013-11
3. Conflict Detection in Delta-Oriented Programming;Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change;2012
4. A type checking algorithm for qualified session types;Electronic Proceedings in Theoretical Computer Science;2011-08-10