Journal of Future Generation Computer Systems 8(1992)

• Haridi, Seif; Janson, Sverker and Catuscia Palami (1992) Haridi, Seif; Janson, Sverker and Catuscia Palamidessi "Structural Operational Semantics of AKL" pp409-421.