A Methodology for Concurrent Languages Development Based on Denotational Semantics

Gabriel Ciobanu, Eneia Nicolae Todoran. A Methodology for Concurrent Languages Development Based on Denotational Semantics. In Stephen M. Watt, Viorel Negru, Tetsuo Ida, Tudor Jebelean, Dana Petcu, Daniela Zaharie, editors, 11th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2009, Timisoara, Romania, September 26-29, 2009. pages 290-298, IEEE Computer Society, 2009. [doi]

Abstract

Abstract is missing.