A structural operational semantics for a
โ
Wei Li
๐
Article
๐
1986
๐
Springer
๐
English
โ 448 KB