Theoretical Computer Science, Volume 60

Volume 60, 1988

• IJsbrand Jan Aalbersberg, Grzegorz Rozenberg: Theory of Traces. 1-82
• Jerzy Tiuryn, Pawel Urzyczyn: Some Relationships Between Logics of Programs and Complexity Theory. 83-108
• Pierre America, Jaco de Bakker: Designing Equivalent Semantic Models for Process Creation. 109-176
• A. W. Roscoe, C. A. R. Hoare: The Laws of Occam Programming. 177-229
• Tali Eilam-Tzoreff, Uzi Vishkin: Matching Patterns in Strings Subject to Multi-Linear Transformations. 231-254
• Jean-Pierre Duval: Génération d'une Section des Classes de Conjugaison et Arbre des Mots de Lyndon de Longueur Bornée. 255-283
• Arturo Carpi: On Synchronizing Unambiguous Automata. 285-296
• Michael Beeson: Towards a Computation System Based on Set Theory. 297-340
• Jean-Claude Spehner: La Reconnaissance des Facteurs d'un Langage Fini dans un Texte en Temps Lineaire. 341-381