Rule Formats for Bounded Nondeterminism in Structural Operational Semantics

Luca Aceto, Álvaro García-Pérez, Anna Ingólfsdóttir. Rule Formats for Bounded Nondeterminism in Structural Operational Semantics. In Christian W. Probst, Chris Hankin, René Rydhof Hansen, editors, Semantics, Logics, and Calculi - Essays Dedicated to Hanne Riis Nielson and Flemming Nielson on the Occasion of Their 60th Birthdays. Volume 9560 of Lecture Notes in Computer Science, pages 313-343, Springer, 2016. [doi]

Abstract

Abstract is missing.