A structural operational semantics for an Edison like language. II

DOI10.1007/BF02943271zbMath0616.68008OpenAlexW2060881701MaRDI QIDQ1821554

Wei Li

Publication date: 1986

Published in: Journal of Computer Science and Technology (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf02943271

zbMATH Keywords

dynamic semanticssyntaxconcurrent programming languagesEdison. 1.

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Theory of operating systems (68N25)

Cites Work

• Communicating sequential processes
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: A structural operational semantics for an Edison like language. II