On the relationship between spatial logics and behavioral simulations

DOI10.1007/978-3-642-12032-9_11MaRDI QIDQ3557848zbMATH OpenOpenAlexFDO

Authors Lucia Acciai, Gianluigi Zavattaro, 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

Temporal logic (03B44) 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)

Recommendations

• scientific article; zbMATH DE number 1927564
• CONCUR 2004 - Concurrency Theory
• Foundations of Software Science and Computation Structures
• A spatial logic for concurrency. II
• scientific article; zbMATH DE number 2242579

Cited in

(8)

• Team bisimilarity, and its associated modal logic, for BPP nets
• Verification of finite-state machines: a distributed approach
• Spatial logic and spatial model checking for closure spaces
• A noninterleaving model of concurrency based on transition systems with spatial structure
• Model checking spatial logics for closure spaces
• Deciding safety properties in infinite-state pi-calculus via behavioural types
• Foundations of Software Science and Computation Structures
• A spatial equational logic for the applied \(\pi \)-calculus

Describes a project that uses

Uses Software

• SLMC

This page was built for publication: On the relationship between spatial logics and behavioral simulations

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