Causal Dataflow Analysis for Concurrent Programs

DOI10.1007/978-3-540-71209-1_10zbMath1186.68111OpenAlexW1580380563MaRDI QIDQ5758105

P. Madhusudan, Azadeh Farzan

Publication date: 3 September 2007

Published in: Tools and Algorithms for the Construction and Analysis of Systems (Search for Journal in Brave)

Full work available at URL: http://hdl.handle.net/2142/11347

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (1)

Static Analysis Via Abstract Interpretation of the Happens-Before Memory Model

This page was built for publication: Causal Dataflow Analysis for Concurrent Programs