Static Livelock Analysis in CSP

DOI10.1007/978-3-642-23217-6_26MaRDI QIDQ3090843zbMATH OpenOpenAlexFDO

Authors Joël Ouaknine, Hristina Palikareva, A. W. Roscoe, James Worrell

Publication date 2 September 2011

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

Full work available at URL https://ora.ox.ac.uk/objects/uuid:5dccc8db-e017-440f-95ea-49e02984d13f

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• A static analysis framework for livelock freedom in CSP
• Compositional and local livelock analysis for CSP
• Analysing lock-free linearizable datatypes using CSP
• scientific article; zbMATH DE number 3890704
• scientific article; zbMATH DE number 177266
• Automated analysis of mutual exclusion algorithms using CCS
• Process-local static analysis of synchronous processes
• Deadlock and WCET analysis of barrier-synchronized concurrent programs

Cites work

• A Livelock Freedom Analysis for Infinite State Asynchronous Reactive Systems
• A static analysis framework for livelock freedom in CSP
• Deciding and axiomatizing weak ST bisimulation for a process algebra with recursion and action refinement
• scientific article; zbMATH DE number 439891 (Why is no real title available?)
• scientific article; zbMATH DE number 4039251 (Why is no real title available?)
• scientific article; zbMATH DE number 42752 (Why is no real title available?)
• scientific article; zbMATH DE number 42059 (Why is no real title available?)
• scientific article; zbMATH DE number 3476270 (Why is no real title available?)
• scientific article; zbMATH DE number 1927554 (Why is no real title available?)
• Processes and the denotational semantics of concurrency
• Strong normalisation in the \(\pi\)-calculus
• The behavioural semantics of Event-B refinement
• Understanding concurrent systems

Cited in

(8)

• Compositional and local livelock analysis for CSP
• Off-the-shelf automated analysis of liveness properties for just paths (extended abstract)
• A static analysis framework for livelock freedom in CSP
• Validating for liveness in hidden adversary systems
• Process algebra and model checking
• scientific article; zbMATH DE number 3890704 (Why is no real title available?)
• scientific article; zbMATH DE number 1361140 (Why is no real title available?)
• A Livelock Freedom Analysis for Infinite State Asynchronous Reactive Systems

This page was built for publication: Static Livelock Analysis in CSP

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