Author:
Bauer Jörg,Nielson Flemming,Riis Nielson Hanne,Pilegaard Henrik
Publisher
Springer Berlin Heidelberg
Reference17 articles.
1. Bauer, J., Nielson, F., Nielson, H.R., Pilegaard, H.: Relational analysis of correlation. Technical report, Technical University of Munich (2008)
2. Victor, B.: Personal communication (October 2007)
3. Bodei, C., Degano, P., Nielson, F., Nielson, H.R.: Static analysis for the π-calculus with applications to security. Information and Computation 168, 68–92 (2001)
4. Lecture Notes in Computer Science;M. Boreale,2004
5. Lecture Notes in Computer Science;J. Feret,2002
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Flow Logic for Process Calculi;ACM Computing Surveys;2012-01
2. From Explicit to Symbolic Types for Communication Protocols in CCS;Formal Modeling: Actors, Open Systems, Biological Systems;2011
3. Privacy Enforcement and Analysis for Functional Active Objects;Data Privacy Management and Autonomous Spontaneous Security;2011
4. Sensoria Results Applied to the Case Studies;Lecture Notes in Computer Science;2011
5. Core Calculi for Service-Oriented Computing;Lecture Notes in Computer Science;2011