Graphical Encoding of a Spatial Logic for the π-Calculus

DOI10.1007/978-3-540-73859-6_15MaRDI QIDQ3612492zbMATH OpenOpenAlexWikidataFDO

Authors Fabio Gadducci, Alberto Lluch Lafuente

Publication date 10 March 2009

Published in Algebra and Coalgebra in Computer Science (Search for Journal in Brave)

Full work available at URL http://eprints.imtlucca.it/154/1/gadducci_lluch-lafuente2007a.pdf

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 verification of a spatial logic for the {\(\pi\)}-calculus
• Modelling and Verifying Mobile Systems Using π-Graphs
• Graph rewriting for the π-calculus
• Term graph rewriting for the \(\pi \)-calculus.
• A predicate spatial logic for mobile process

Cited in

(6)

• Foundations of Software Science and Computation Structures
• Term graph rewriting for the \(\pi \)-calculus.
• scientific article; zbMATH DE number 5295702 (Why is no real title available?)
• Graphical verification of a spatial logic for the {\(\pi\)}-calculus
• Modelling and Verifying Mobile Systems Using π-Graphs
• A Spatial Logic for Simplicial Models

Describes a project that uses

Uses Software

• SLMC

This page was built for publication: Graphical Encoding of a Spatial Logic for the π-Calculus

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