Theoretical Computer Science, Volume 55

Volume 55, Number 1, 1987

• David Peleg: Concurrent Program Schemes and Their Logics. 1-45 BibTeX
• Helmut Seidl: Parameter Reduction of Higher Level Grammars. 47-85 BibTeX
• Eike Best, Raymond R. Devillers: Sequential and Concurrent Behaviour in Petri Net Theory. 87-136 BibTeX

Volume 55, Numbers 2-3, 1987

• Bruno Courcelle: An Axiomatic Definition of Context-Free Rewriting and its Application to NLC Graph Grammars. 141-181 BibTeX , Correction
• Franz-Josef Brandenburg: Representations of Language Families by Homomorphic Equality Operations and Generalized Equality Sets. 183-263 BibTeX
• Miklós Bartha: An Equational Axiomatization of Systolic Systems. 265-289 BibTeX
• J.-P. Lehmann: A Universal Machine without Change of State. 291-348 BibTeX