9 citations · 31 across the 19 of their papers we have counts for
6 papers · 1 filter
Circular Induction
Dorel Lucanu, Grigore Rosu, Eugen Goriac +1
The Circularity Principle was successfully applied for developing a coinductive proving technique, known as circular coinduction. In this paper, we show that the same principle can…
Proceedings Combined 30th International Workshop on Expressiveness in Concurrency and 20th Workshop on Structural Operational Semantics
Claudio Antares Mezzina, Georgiana Caltais
This volume contains the proceedings of EXPRESS/SOS 2023: the Combined 30th International Workshop on Expressiveness in Concurrency and the 20th Workshop on Structural Operational…
(De-)Composing Causality in Labeled Transition Systems
Georgiana Caltais, Stefan Leue, Mohammad Reza Mousavi
In this paper we introduce a notion of counterfactual causality in the Halpern and Pearl sense that is compositional with respect to the interleaving of transition systems. The for…
Coalgebraic Tools for Bisimilarity and Decorated Trace Semantics
Georgiana Caltais
The modelling, specification and study of the semantics of concurrent reactive systems have been interesting research topics for many years now. The aim of this thesis is to exploi…
Automatic Equivalence Proofs for Non-deterministic Coalgebras
Marcello Bonsangue, Georgiana Caltais, Eugen-Ioan Goriac +3
A notion of generalized regular expressions for a large class of systems modeled as coalgebras, and an analogue of Kleene's theorem and Kleene algebra, were recently proposed by a…
Axiomatizing GSOS with Predicates
Luca Aceto, Georgiana Caltais, Eugen-Ioan Goriac +1
In this paper, we introduce an extension of the GSOS rule format with predicates such as termination, convergence and divergence. For this format we generalize the technique propos…