Consistent records in asynchronous computations Roberto BaldoniJean-Michel HelaryMichel Raynal Pages: 441 - 455
A logic-based approach to program flow analysis Mooly SagivNissim FrancezReinhard Wilhelm Pages: 457 - 504
Nonfinite axiomatizability of the equational theory of shuffle Zoltán ÉsikMichael Bertol Pages: 505 - 539