Theoretical Computer Science, Volume 60

Volume 60, 1988

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