Robuta

https://loonwerks.com/publications/gacek2008lfmtp.html Reasoning in Abella about structural operational semantics specifications operational semantics reasoning abella structural specifications https://pure.hud.ac.uk/en/activities/a-small-step-operational-semantics-for-gp-2/ A Small-Step Operational Semantics for GP 2 - University of Huddersfield Research Portal university of huddersfield a small operational semantics research portal step https://ebjohnsen.org/publication/16-sac-musepat/ An Operational Semantics of Cache Coherent Multicore Architectures | Einar Broch Johnsen einar broch johnsen operational semantics cache coherent multicore https://iris.cnr.it/handle/20.500.14243/396359 On the operational semantics of distributed concurrent systems on the operational semantics concurrent systems distributed