Publisher
Springer International Publishing
Reference4 articles.
1. Cenciarelli, P., Knapp, A., Reus, B., Wirsing, M.: A structural operational semantics for multi-threaded Java. In Alves-Foss, J. (ed.) Formal Syntax and Semantics of Java. LNCS, vol. 1523, pp. 157–200. Springer (1999)
2. Fernández, M.: Programming Languages and Operational Semantics—A Concise Overview, UTiCS Series. Springer, Heidelberg (2014)
3. Streicher, T.: Domain-Theoretic Foundations of Functional Programming. World Scientific, Singapore (2006)
4. Winskel, G.: Formal Semantics of Programming Languages Paperback. MIT Press, Cambridge (1993)