23 citations · 96 across the 11 of their papers we have counts for
Showing 2013Show all
2 papers · 1 filter
cs.LO2013★ 5 cited
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…
cs.LO2013★ 8 cited
Compositionality of Approximate Bisimulation for Probabilistic Systems
Daniel Gebler, Simone Tini
Probabilistic transition system specifications using the rule format ntmuft-ntmuxt provide structural operational semantics for Segala-type systems and guarantee that probabilistic…