Seif Haridi, Sverker Janson, Catuscia Palamidessi. Structural operational semantics for AKL. Future Generation Comp. Syst., 8(4):409-421, 1992. [doi]
@article{HaridiJP92,
title = {Structural operational semantics for AKL},
author = {Seif Haridi and Sverker Janson and Catuscia Palamidessi},
year = {1992},
doi = {10.1016/0167-739X(92)90072-J},
url = {http://dx.doi.org/10.1016/0167-739X(92)90072-J},
researchr = {https://researchr.org/publication/HaridiJP92},
cites = {0},
citedby = {0},
journal = {Future Generation Comp. Syst.},
volume = {8},
number = {4},
pages = {409-421},
}