Relational Analysis of Correlation

DOI10.1007/978-3-540-69166-2_3MaRDI QIDQ3522059zbMATH OpenOpenAlexFDO

Authors J. Bauer, Flemming Nielson, Hanne Riis Nielson, Henrik Pilegaard

Publication date 28 August 2008

Published in Static Analysis (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-69166-2_3

Mathematics Subject Classification ID

Network design and communication in computer systems (68M10) Distributed systems (68M14) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• About Relational Correlations
• Relational and Kleene-Algebraic Methods in Computer Science
• Correlation and dependence
• Correlation measures
• Analysis of covariance and correlation structures
• Statistical analysis of discrete relational data
• Correspondence and canonical analysis of relational data
• scientific article; zbMATH DE number 4104204

Cites work

• A Calculus for Orchestration of Web Services
• scientific article; zbMATH DE number 1692944 (Why is no real title available?)
• scientific article; zbMATH DE number 1324833 (Why is no real title available?)
• scientific article; zbMATH DE number 1953280 (Why is no real title available?)
• scientific article; zbMATH DE number 2143089 (Why is no real title available?)
• Programming Languages and Systems
• Regulating Data Exchange in Service Oriented Applications
• Relational Analysis of Correlation
• Static analysis for the \(\pi\)-calculus with applications to security
• Tools and Algorithms for the Construction and Analysis of Systems

Cited in

(5)

• Relational Analysis of Correlation
• About Relational Correlations
• Relational and Kleene-Algebraic Methods in Computer Science
• An accessible verification environment for UML models of services
• Correlation and relative performance evaluation

This page was built for publication: Relational Analysis of Correlation

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3522059)