A transaction definition based on message passing. - Francisco Mariategui; Margaret H. Eich (SPDP, 1990)