7 citations · 16 across the 4 of their papers we have counts for
4 papers
Meta SOS - A Maude Based SOS Meta-Theory Framework
Luca Aceto, Eugen-Ioan Goriac, Anna Ingolfsdottir
Meta SOS is a software framework designed to integrate the results from the meta-theory of structural operational semantics (SOS). These results include deriving semantic propertie…
Algebraic Meta-Theory of Processes with Data
Daniel Gebler, Eugen-Ioan Goriac, Mohammad Reza Mousavi
There exists a rich literature of rule formats guaranteeing different algebraic properties for formalisms with a Structural Operational Semantics. Moreover, there exist a few appro…
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…