Graphical verification of a spatial logic for the {}-calculus

MaRDI QIDQ2852049zbMATH OpenFDO

Authors Fabio Gadducci, Alberto Lluch Lafuente

Publication date 7 October 2013

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

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

• Graphical Encoding of a Spatial Logic for the π-Calculus
• Modelling and Verifying Mobile Systems Using π-Graphs
• A predicate spatial logic for mobile process
• Foundations of Software Science and Computation Structures
• scientific article; zbMATH DE number 2020178

Cited in

(4)

• scientific article; zbMATH DE number 5295702 (Why is no real title available?)
• Modelling and Verifying Mobile Systems Using π-Graphs
• Graphical Encoding of a Spatial Logic for the π-Calculus
• Foundations of Software Science and Computation Structures

This page was built for publication: Graphical verification of a spatial logic for the {\(\pi\)}-calculus

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