Acta Informatica, Volume 25

Volume 25, Number 1, 1987

Eric C. R. Hehner, Andrew J. Malton: Termination Conventions and Comparative Semantics. 1-14
Alain Finkel, Annie Choquet: Fifo Nets Without Order Deadlock. 15-36
Athanasios K. Tsakalidis: The Nearest Common Ancestor in a Dynamic Tree. 37-54
Victor Vianu: Database Survivability Under Dynamic Constraints. 55-84
Mahadevan Ganapathi, Charles N. Fischer: Integrating Code Generation and Peephole Optimization. 85-109

Friedrich L. Bauer, Martin Wirsing: Crypt-Equivalent Algebraic Specifications. 111-153
Thomas W. Reps: Incremental Evaluation for Attribute Grammars with Unrestricted Movement Between Tree Modifications. 155-178
Luc Bougé: On the Existence of Symmetric Algorithms to Find Leaders in Networks of Communicating Sequential Processes. 179-201
Andrzej Ehrenfeucht, Hendrik Jan Hoogeboom, Grzegorz Rozenberg: Recording the Use of Memory in Right-Boundary Grammars and Push-Down Automata. 203-231

Donald Sannella, Andrzej Tarlecki: Toward Formal Development of Programs from Algebraic Specifications: Implementations Revisited. 233-281
Zhang Ming-Hua: A Second Order Theory of Data Types. 283-303
Ann E. Kelley Sobel, Neelam Soundararajan: A Proof System for Distributed Processes. 305-332
John H. Reif, Scott A. Smolka: The Complexity of Reachability in Distributed Communicating Processes. 333-354

Robert Giegerich: Composition and Evaluation of Attribute Coupled Grammars. 355-423
Ulf R. Schmerl: Resolution on Formula-Trees. 425-438
Andrzej Biela: Program-Substitution and Admissibility of Rules in Algorithmic Logic. 439-473

Edward P. F. Chan, Héctor J. Hernández: On Generating Database Schemes Bounded or Constant-time-maintainable by Extensibility. 475-496
William P. R. Mitchell: Inductive Completion with Retracts. 497-514
Pavel Pudlák, Vojtech Rödl, Petr Savický: Graph Complexity. 515-535
Joost Engelfriet, George Leih, Grzegorz Rozenberg: Apex Graph Grammars and Attribute Grammars. 537-571
Paliath Narendran, Friedrich Otto: Elements of Finite Order for Finite Weight-Reducing and Confluent Thue Systems. 573-591

Ralph-Johan Back: A Calculus of Refinements for Program Derivations. 593-624
José Luiz Fiadeiro, Amílcar Sernadas: Specification and Verification of Database Dynamics. 625-661
Sheldon Shen: Cooperative Distributed Dynamic Load Balancing. 663-676
Satish K. Tripathi, David Finkel, Erol Gelenbe: Load Sharing in Distributed Systems with Failures. 677-689
Giorgio Levi, Catuscia Palamidessi: Contributions to the Semantics of Logic Perpetual Processes. 691-711