Partial order reduction for verification of spatial properties of pi-calculus processes

MaRDI QIDQ2848141zbMATH OpenFDO

Authors Reynald Affeldt, Naoki Kobayashi

Publication date 25 September 2013

Full work available at URL http://www.sciencedirect.com/science/article/pii/S157106610500160X

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

• Relaxed visibility enhances partial order reduction
• scientific article; zbMATH DE number 1497783
• Partial-Order Reduction
• Distributed partial order reduction of state spaces
• Partial-order methods for the verification of concurrent systems. An approach to the state-explosion problem

Cited in

(2)

• A Coq library for verification of concurrent programs
• Partial order reduction for security protocols

This page was built for publication: Partial order reduction for verification of spatial properties of pi-calculus processes

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