On Bisimilarity for Polyhedral Models and SLCS - Formal Techniques for Distributed Objects, Components, and Systems
Conference Papers Year : 2023

On Bisimilarity for Polyhedral Models and SLCS

Abstract

The notion of bisimilarity plays an important role in concurrency theory. It provides formal support to the idea of processes having “equivalent behaviour” and is a powerful tool for model reduction. Furthermore, bisimilarity typically coincides with logical equivalence of an appropriate modal logic enabling model checking to be applied on reduced models. Recently, notions of bisimilarity have been proposed also for models of space, including those based on polyhedra. The latter are central in many domains of application that exploit mesh processing and typically consist of millions of cells, the basic components of face-poset models, discrete representations of polyhedral models. This paper builds on the polyhedral semantics of the Spatial Logic for Closure Spaces (SLCS) for which the geometric spatial model checker PolyLogicA has been developed, that is based on face-poset models. We propose a novel notion of spatial bisimilarity for face-poset models, called ±-bisimilarity. We show that it coincides with logical equivalence induced by SLCS on such models. The latter corresponds to logical equivalence with respect to SLCS on polyhedra which, in turn, coincides with simplicial bisimilarity, a notion of bisimilarity for continuous spaces.
Embargoed file
Embargoed file
1 1 11
Year Month Jours
Avant la publication
Thursday, January 1, 2026
Embargoed file
Thursday, January 1, 2026
Please log in to request access to the document

Dates and versions

hal-04731935 , version 1 (11-10-2024)

Licence

Identifiers

Cite

Vincenzo Ciancia, David Gabelaia, Diego Latella, Mieke Massink, Erik Vink. On Bisimilarity for Polyhedral Models and SLCS. 43th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2023, Lisbon, Portugal. pp.132-151, ⟨10.1007/978-3-031-35355-0_9⟩. ⟨hal-04731935⟩
12 View
0 Download

Altmetric

Share

More