Theoretical Computer Science, Volume 30

Volume 30, 1984

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