A Livelock Freedom Analysis for Infinite State Asynchronous Reactive Systems

DOI10.1007/11817949_6zbMATH Open1151.68542OpenAlexW2158031434MaRDI QIDQ5756591FDOQ5756591

Authors: Stefan Leue, Alin Stefanescu, Wei Wei 

Publication date: 4 September 2007

Published in: CONCUR 2006 – Concurrency Theory (Search for Journal in Brave)

Full work available at URL: http://nbn-resolving.de/urn:nbn:de:bsz:352-215507

Recommendations

• A static analysis framework for livelock freedom in CSP
• Static Livelock Analysis in CSP
• Compositional and local livelock analysis for CSP
• The pursuit of deadlock freedom
• Verifying liveness for asynchronous programs

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)

Cited In (3)

• A static analysis framework for livelock freedom in CSP
• Static Livelock Analysis in CSP
• Compositional and local livelock analysis for CSP

Uses Software

• veriSoft

This page was built for publication: A Livelock Freedom Analysis for Infinite State Asynchronous Reactive Systems

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