Results 31 to 40 of about 6,025 (211)
Globally Governed Session Semantics [PDF]
Logical Methods in Computer Science, 2014 This paper proposes a bisimulation theory based on multiparty session types where a choreography specification governs the behaviour of session typed processes and their observer.
Dimitrios Kouzapas, Nobuko Yoshida
doaj +1 more source
Polyprograms and Polyprogram Bisimulation
Моделирование и анализ информационных систем, 2018 A polyprogram is a generalization of a program which admits multiple definitions of a single function. Such objects arise in different transformation systems, such as the Burstall-Darlington framework or equality saturation.
Sergei Grechanik
doaj +1 more source
, 2005 We introduce a quantitative concept for bisimulations by integrating the notion of amortisation (cf. [3]). This allows us to make behavioural comparisons between nondeterministic systems that are inherently non-terminating and to analyse the relative long-term costs of deploying them.
Astrid Kiehn, S. Arun-Kumar
openaire +2 more sources
Bisimulation as a logical relation
Mathematical Structures in Computer Science, 2022 AbstractWe investigate how various forms of bisimulation can be characterised using the technology of logical relations. The approach taken is that each form of bisimulation corresponds to an algebraic structure derived from a transition system, and the general result is that a relation R between two transition systems on state spaces S and T is a ...
Claudio Hermida +3 more
openaire +4 more sources
Strong, Weak and Branching Bisimulation for Transition Systems and Markov Reward Chains: A Unifying Matrix Approach [PDF]
Electronic Proceedings in Theoretical Computer Science, 2009 We first study labeled transition systems with explicit successful termination. We establish the notions of strong, weak, and branching bisimulation in terms of boolean matrix theory, introducing thus a novel and powerful algebraic apparatus.
Nikola Trčka
doaj +1 more source
Neighbourhood Semantics for Graded Modal Logic
Bulletin of the Section of Logic, 2021 We introduce a class of neighbourhood frames for graded modal logic embedding Kripke frames into neighbourhood frames. This class of neighbourhood frames is shown to be first-order definable but not modally definable.
Jinsheng Chen +3 more
doaj +1 more source
Model predictive control for voltage restoration in microgrids using temporal logic specifications
IET Energy Systems Integration, Volume 2, Issue 3, Page 207-214, September 2020., 2020 Power system operation will encounter numerous voltage variabilities as the proliferation of renewable energy continues. Real‐time monitoring and communication technologies can potentially improve voltage stability by enabling the rapid detection of voltage deviations and the implementation of corrective actions.
Fatima Z. Taousser +5 more
wiley +1 more source
Approximate Bisimulation Minimisation
CoRR, 2021 Full version of an FSTTCS'21 ...
Stefan Kiefer, Qiyi Tang 0001
openaire +6 more sources
Proving Continuity of Coinductive Global Bisimulation Distances: A Never Ending Story [PDF]
Electronic Proceedings in Theoretical Computer Science, 2015 We have developed a notion of global bisimulation distance between processes which goes somehow beyond the notions of bisimulation distance already existing in the literature, mainly based on bisimulation games.
David Romero-Hernández +2 more
doaj +1 more source
Multifeature‐Based Behavior of Privilege Escalation Attack Detection Method for Android Applications
Mobile Information Systems, Volume 2020, Issue 1, 2020., 2020 This study proposed an application behavior‐detection method based on multifeature and process algebra for detecting privilege escalation attacks in Android applications. The five features of application that constituted the attack were determined through an analysis of the privilege escalation attack model.
Limin Shen +4 more
wiley +1 more source