On the Relationship between Spatial Logics and Behavioral Simulations

DOI10.1007/978-3-642-12032-9_11zbMath1284.03204OpenAlexW1858844821MaRDI QIDQ3557848

Gianluigi Zavattaro, Lucia Acciai, Michele Boreale

Publication date: 27 April 2010

Published in: Foundations of Software Science and Computational Structures (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-12032-9_11

Mathematics Subject Classification ID

Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Temporal logic (03B44)

Related Items (4)

Verification of finite-state machines: a distributed approach ⋮ Deciding safety properties in infinite-state pi-calculus via behavioural types ⋮ Team bisimilarity, and its associated modal logic, for BPP nets ⋮ A spatial equational logic for the applied \(\pi \)-calculus

Uses Software

• SLMC

This page was built for publication: On the Relationship between Spatial Logics and Behavioral Simulations