Compositional and local livelock analysis for CSP

DOI10.1016/J.IPL.2017.12.011MaRDI QIDQ1705697zbMATH OpenOpenAlexFDO

Authors M. S. Conserva Filho, Ana Cavalcanti, Marcel V. M. Oliveira, Augusto Sampaio

Publication date 16 March 2018

Published in Information Processing Letters (Search for Journal in Brave)

Full work available at URL https://eprints.whiterose.ac.uk/126283/1/1_s2.0_S0020019018300036_main.pdf

zbMATH Keywords

performance evaluationdivergencemodel checkingprocess algebracomponents

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Static Livelock Analysis in CSP
• A static analysis framework for livelock freedom in CSP
• A Livelock Freedom Analysis for Infinite State Asynchronous Reactive Systems
• scientific article; zbMATH DE number 3956416
• Analysing lock-free linearizable datatypes using CSP

Cites work

• scientific article; zbMATH DE number 42752 (Why is no real title available?)
• A static analysis framework for livelock freedom in CSP
• Communicating sequential processes
• Compositional and local livelock analysis for CSP
• FDR3 -- a modern refinement checker for CSP
• Rigorous development of component-based systems using component metadata and patterns
• Understanding concurrent systems

Cited in

(6)

• Compositional Bitvector Analysis for Concurrent Programs with Nested Locks
• A static analysis framework for livelock freedom in CSP
• Static Livelock Analysis in CSP
• A Livelock Freedom Analysis for Infinite State Asynchronous Reactive Systems
• Local analysis of determinism for CSP
• Compositional and local livelock analysis for CSP

Describes a project that uses

Uses Software

• FDR3

This page was built for publication: Compositional and local livelock analysis for CSP

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