View abstraction for systems with component identities

DOI10.1007/978-3-319-95582-7_30zbMath1460.68063OpenAlexW2809168756MaRDI QIDQ2024368

Gavin Lowe

Publication date: 4 May 2021

Full work available at URL: https://ora.ox.ac.uk/objects/uuid:2a0f28f0-4355-46d6-ae9f-621dd232e74f

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)

Discovering and correcting a deadlock in a channel implementation

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• An approach to automating the verification of compact parallel coordination programs. I
• Analysing lock-free linearizable datatypes using CSP
• Iterating transducers
• Understanding concurrent systems
• All for the Price of Few
• Reasoning about systems with many processes
• Regular Model Checking using Widening Techniques
• CONCUR 2004 - Concurrency Theory
• Computer Aided Verification
• FDR3 — A Modern Refinement Checker for CSP
• On Reasoning About Rings
• Symbolic model checking with rich assertional languages

This page was built for publication: View abstraction for systems with component identities