Static slicing of explicitly synchronized languages

DOI10.1016/j.ic.2012.02.005zbMath1253.68246DBLPjournals/iandc/LeuschelLOST12OpenAlexW2142094035WikidataQ57689963 ScholiaQ57689963MaRDI QIDQ418185

Marisa Llorens, Josep Silva, Salvador Tamarit, Javier Oliver, Michael Leuschel

Publication date: 24 May 2012

Published in: Information and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.ic.2012.02.005

zbMATH Keywords

program slicingCSPconcurrent programming

Mathematics Subject Classification ID

Theory of programming languages (68N15) 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)

Tracking CSP computations

Uses Software

• LOTOS
• ProB
• PROMELA

Cites Work

• Unnamed Item
• Unnamed Item
• A calculus of mobile processes. II
• On the expressive power of CSP refinement
• Program Slicing
• The MEB and CEB Static Analysis for CSP Specifications
• The program dependence graph and its use in optimization
• FM 2005: Formal Methods

This page was built for publication: Static slicing of explicitly synchronized languages