A Synchronization Calculus for Message Oriented Programming.

Paulo Roberto Freire Cunha, T. S. E. Maibaum

Browse the full ICDCS paper archive.