Information and Computation · 1987 · 67 citations · 4 references
4
Concurrent Program Schemes and their Interpretations
Antoni Mazurkiewicz · DAIMI Report Series · 1977 · 570 citations · Full text
On serializability of iterated transactions
Marie-Paule Flé, Gérard Roucairol · 1982 · 38 citations