Compositional and local livelock analysis for CSP

DOI10.1016/j.ipl.2017.12.011zbMath1426.68182OpenAlexW2783395867MaRDI QIDQ1705697

Ana Cavalcanti, M. S. Conserva Filho, 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

process algebraperformance evaluationdivergencemodel checkingcomponents

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)

Related Items (1)

Compositional and local livelock analysis for CSP

Uses Software

• FDR3

Cites Work

• Unnamed Item
• Rigorous development of component-based systems using component metadata and patterns
• Compositional and local livelock analysis for CSP
• Understanding concurrent systems
• A Static Analysis Framework for Livelock Freedom in CSP
• Communicating sequential processes
• FDR3 — A Modern Refinement Checker for CSP

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