Graphical Encoding of a Spatial Logic for the π-Calculus

DOI10.1007/978-3-540-73859-6_15zbMath1214.68248OpenAlexW1571455808WikidataQ56501834 ScholiaQ56501834MaRDI QIDQ3612492

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)

Related Items (1)

A Spatial Logic for Simplicial Models

Uses Software

• SLMC

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