A Denotational Model for the Integration of Concurrent, Functional, and Imperative Programming.

Dominique Bolignano, Mourad Debbabi

Browse the full ICCI paper archive.