Theoretical Computer Science, Volume 30

Volume 30, 1984

• Jan A. Bergstra, Jan Willem Klop: Proving Program Inclusion Using Hoare's Logic. 1-48 BibTeX
• Ernst-Rüdiger Olderog: Correctnes of Programs with Pascal-Like Procedures without Global Variables. 49-90 BibTeX
• Didier Austry, Gérard Boudol: Algèbre de Processus et Synchronisation. 91-131 BibTeX
• Robert de Simone: On Meije and SCCS: Infinite Sum Operators VS. Non-Guarded Definitions. 133-138 BibTeX
• Herbert Klaeren: A Contructive Method for Abstract Algebraic Software Specification. 139-204 BibTeX
• Jean-Pierre Braquelaire, Bruno Courcelle: The Solutions of Two Star-Height Problems for Regular Trees. 205-239 BibTeX
• Hartmann J. Genrich, P. S. Thiagarajan: A Theory of Bipolar Synchronization Schemes. 241-318 BibTeX
• Larry Denenberg, Harry R. Lewis: The Complexity of the Satisfiability Problem for Krom Formulas. 319-341 BibTeX