activity
20052025
most citedA Survey of Runtime Monitoring Instrumentation Techniques

57 citations · 234 across the 31 of their papers we have counts for

collaborators
Showing 2023 · cs.LOShow all

1 paper · 2 filters

cs.LO2023

The Way We Were: Structural Operational Semantics Research in Perspective

Luca Aceto, Pierluigi Crescenzi, Anna Ingólfsdóttir +1

This position paper on the (meta-)theory of Structural Operational Semantic (SOS) is motivated by the following two questions: (1) Is the (meta-)theory of SOS dying out as a resear…