A Methodology for Concurrent Languages Development Based on Denotational Semantics.

Gabriel Ciobanu, Eneia Nicolae Todoran

Browse the full SYNASC paper archive.