Specifying communication in distributed information systems Hans-Dieter EhrichCarlos Caleiro Original articles Pages: 591 - 616
A complete algebraic characterization of behavioral subtyping Gary T. LeavensDon Pigozzi Original articles Pages: 617 - 663
On the expressiveness of subset-sum representations Lucian IlieArto Salomaa Original articles Pages: 665 - 672