research
∙
12/21/2022
RobTL: A Temporal Logic for the Robustness of Cyber-Physical Systems
We propose the Robustness Temporal Logic (RobTL), a novel temporal logic...
share
research
∙
08/31/2022
Proceedings Combined 29th International Workshop on Expressiveness in Concurrency and 19th Workshop on Structural Operational Semantics
This volume contains the proceedings of EXPRESS/SOS 2022: the Combined 2...
research
∙
06/28/2022
On the Axiomatisation of Branching Bisimulation Congruence over CCS
In this paper we investigate the equational theory of (the restriction, ...
research
∙
04/28/2022
EvTL: A Temporal Logic for the Transient Analysis of Cyber-Physical Systems
The behaviour of systems characterised by a closed interaction of softwa...
research
∙
11/30/2021
A framework to measure the robustness of programs in the unpredictable environment
Due to the diffusion of IoT, modern software systems are often thought t...
research
∙
08/22/2021
Proceedings Combined 28th International Workshop on Expressiveness in Concurrency and 18th Workshop on Structural Operational Semantics
This volume contains the proceedings of EXPRESS/SOS 2021: the Combined 2...
research
∙
05/03/2021
In search of lost time: Axiomatising parallel composition in process algebras
This survey reviews some of the most recent achievements in the saga of ...
research
∙
02/22/2021
On the Axiomatisability of Parallel Composition
This paper studies the existence of finite equational axiomatisations of...
research
∙
10/05/2020
Are Two Binary Operators Necessary to Finitely Axiomatise Parallel Composition?
Bergstra and Klop have shown that bisimilarity has a finite equational a...
research
∙
08/27/2018