Theoretical Computer Science, Volume 37

Volume 37, 1985

• Ker-I Ko: On Some Natural Complete Operators. 1-30 BibTeX
• Grzegorz Rozenberg: On Coordinated Selective Substitutions: Towards a Unified Theory of Grammars and Machines. 31-50 BibTeX
• David E. Muller, Paul E. Schupp: The Theory of Ends, Pushdown Automata, and Second-Order Logic. 51-75 BibTeX
• Jan A. Bergstra, Jan Willem Klop: Algebra of Communicating Processes with Abstraction. 77-121 BibTeX
• Jean H. Gallier, Ronald V. Book: Reductions in Tree Replacement Systems. 123-150 BibTeX
• Luc Bougé: A Contribution to the Theory of Program Testing. 151-181 BibTeX
• Karel Culik II, Ivan Fris: Topological Transformations as a Tool in the Design of Systolic Networks. 183-216 BibTeX
• Jakob Gonczarowski, Manfred K. Warmuth: Applications of Scheduling Theory to Formal Language Theory. 217-243 BibTeX
• Robert de Simone: Higher-Level Synchronising Devices in Meije-SCCS. 245-267 BibTeX
• Andrzej Tarlecki: On the Existence of Free Models in Abstract Algebraic Institutuons. 269-304 BibTeX
• Philippe Darondeau: About Fair Asynchrony. 305-336 BibTeX
• Andrzej Ehrenfeucht, H. C. M. Kleijn, Grzegorz Rozenberg: Adding Global Forbidding Context to Context-Free Grammars. 337-360 BibTeX