Publisher
Springer Berlin Heidelberg
Reference21 articles.
1. Alves, S., Fernandez, M., Florido, M., Mackie, I.: Gödel System T revisited. Theoretical Computer Science 411(11-13), 1484–1500 (2010)
2. Amtoft, T., Nielson, F., Nielson, H.R.: Type and behaviour reconstruction for higher-order concurrent programs. J. Funct. Program. 7(3), 321–347 (1997)
3. Amtoft, T., Nielson, H.R., Nielson, F.: Behaviour analysis for validating communication patterns. Software Tools for Technology Transfer 2(1), 13–28 (1998)
4. Ateniese, G., Steiner, M., Tsudik, G.: Authenticated group key agreement and friends. In: CCS, pp. 17–26. ACM, New York (1998)
5. Bejleri, A.: Practical Parameterised Session Types. Tech. Report DTR10-7, Imperial College (2010), http://www.doc.ic.ac.uk/~ab406/papers/param.pdf
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献