![](/img/cover-not-exists.png)
Structural operational semantics for AKL
Seif Haridi, Sverker Janson, Catuscia PalamidessiVolume:
8
Year:
1992
Language:
english
Pages:
13
DOI:
10.1016/0167-739x(92)90072-j
File:
PDF, 1017 KB
english, 1992