Stateful Structural Operational Semantics.

Sergey Goncharov, Stefan Milius, Lutz Schrder, Stelios Tsampas, Henning Urbat

Browse the full FSCD paper archive.