A Partial Order Event Model for Concurrent Objects.

Jos Meseguer, Carolyn L. Talcott

Browse the full CONCUR paper archive.