Resource = Abstract Data Type + Synchronization - A Methodology for Message Oriented Programming.

Paulo R. F. Cunha, T. S. E. Maibaum

Browse the full ICSE paper archive.