Structural Operational Semantics for AKL (1992)

by Seif Haridi, Sverker Janson, Catuscia Palamidessi, Ericsson Group