Compositionality and bisimulation: a negative result☆ ; Alessandro Fantechi ; Stefania Gnesi ; Gioia Ristori.

The present paper studies the general implications of the principle of compositionality for the organization of grammar. It will be argued that Janssen's ...

This paper investigates the challenges of establishing a compositional temporal semantics for the Calculus for Communicating Systems (CCS) that is fully ...

An extension of Hennessy-Milner Logic with recursion is presented. A recursively specified formula will have two standard interpretations: a minimal one and ...

This can be done in such a way that the resulting bisimilarity is automatically a congruence. One important aspect that has not been studied so far is the ...

We introduce three general compositionality criteria over operational semantics and prove that, when all three are satisfied together, they guarantee weak ...

Oct 2, 2024 · This volume treats basic topics. It explains coinduction, and its duality with induction, from various angles, starting from some simple results ...

Jun 21, 2021 · In this paper, we deal with the lumpability approach to cope with the state space explosion problem inherent to the computation of the stationary performance ...

Jan 11, 2021 · These results raise the question of whether there is one auxiliary binary operator whose addition to CCS leads to a finite axiomatisation of ...

Hence the Com rule uses information that is ignored for the purposes of bisimulation, which in most cases would result in a bisimilarity that is not preserved ...