A structural operational semantics for a
✍
Wei Li
📂
Article
📅
1986
🏛
Springer
🌐
English
⚖ 376 KB