Relational Analysis of Correlation

DOI10.1007/978-3-540-69166-2_3zbMath1149.68308OpenAlexW2159839769MaRDI QIDQ3522059

Henrik Pilegaard, Jörg Bauer, Flemming Nielson, Hanne Riis Nielson

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) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Distributed systems (68M14)

Related Items (2)

An accessible verification environment for UML models of services ⋮ Relational Analysis of Correlation

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Static analysis for the \(\pi\)-calculus with applications to security
• Regulating Data Exchange in Service Oriented Applications
• Relational Analysis of Correlation
• Tools and Algorithms for the Construction and Analysis of Systems
• Programming Languages and Systems
• A Calculus for Orchestration of Web Services

This page was built for publication: Relational Analysis of Correlation