Author:
Acciai Lucia,Boreale Michele
Subject
Computational Theory and Mathematics,Computer Science Applications,Information Systems,Theoretical Computer Science
Reference24 articles.
1. L. Acciai, M. Boreale, Deciding safety properties in infinite-state pi-calculus via behavioural types, in: S. Albers, A. Marchetti-Spaccamela, Y. Matias, S.E. Nikoletseas, W. Thomas (Eds.), ICALP’09, LNCS, vol. 5556, 2009, pp. 31–42.
2. L. Acciai, M. Boreale, Spatial and behavioral types in the pi-calculus, in: F. van Breugel, M. Chechik (Eds.), CONCUR’08, LNCS, vol. 5201, 2008, pp. 372–386.
3. L. Acciai, M. Boreale, A type system for client progress in a service-oriented calculus, in: P. Degano, et al. (Eds.), Concurrency, Graphs and Models, Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday, LNCS, vol. 5065, 2008, pp. 642–658.
4. L. Acciai, M. Boreale, Type abstractions of name-passing processes, in: F. Arbab, M. Sirjani (Eds.), FSEN’07, LNCS, vol. 4767, 2007, pp. 302–317.
5. Responsiveness in process calculi;Acciai;Theor. Comput. Sci.,2008
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. A calculus for modeling floating authorizations;Journal of Logical and Algebraic Methods in Programming;2019-10
2. A Calculus for Modeling Floating Authorizations;Formal Techniques for Distributed Objects, Components, and Systems;2018
3. Checking global usage of resources handled with local policies;Science of Computer Programming;2017-01
4. Foundations of Session Types and Behavioural Contracts;ACM Computing Surveys;2016-07-28
5. Behavioural contracts with request–response operations;Science of Computer Programming;2013-02