Acta Informatica, Volume 30

Volume 30, Number 1, 1993

Bent Thomsen: Plain CHOCS: A Second Generation Calculus for Higher Order Processes. 1-59 BibTeX
Iain A. Stewart: Logical and Schematic Characterization of Complexity Classes. 61-87 BibTeX
Antoine Petit: Recognizable Trace Languages, Distributed Automata and the Distribution Problem. 89-101 BibTeX

Kim Marriott: Frameworks for Abstract Interpretation. 103-129 BibTeX
Anna Hac: Performance and Reliability Improvement by Using Asynchronous Algorithms in Disk Buffer Cache Memory. 131-146 BibTeX
Marisa Navarro, Fernando Orejas, Jean-Luc Remy: Contextual Rewriting as a Sound and Complete Proof Method for Conditional LOG-Specifications. 147-180 BibTeX
Xavier Nicollin, Joseph Sifakis, Sergio Yovine: From ATP to Timed Graphs and Hybrid Systems. 181-202 BibTeX

Paul S. Amerins, Ricardo A. Baeza-Yates, Derick Wood: On Efficient Entreeings. 203-213 BibTeX
Yuzheng Ding, Mark Allen Weiss: The Relaxed min-max Heap. 215-231 BibTeX
Patricio V. Poblete: The Analysis of Heuristics for Search Trees. 233-248 BibTeX
James H. Anderson: A Fine-Grained Solution to the Mutual Exclusion Problem. 249-265 BibTeX
Shigeki Iwata, Takumi Kasai, Etsuro Moriya: Relations among Simultaneous Complexity Classes of Nondeterministic and Alternating Turing Machines. 267-278 BibTeX
Karel Culik II, Simant Dube: L-Systems and Mutually Resurcive Function Systems. 279-302 BibTeX

Thomas Lehmann, Jacques Loeckx: OBSCURE: A Specification Language for Abstract Data Types. 303-350 BibTeX
Gheorghe Paun: On the Synchronization in Parallel Communicating Grammar Systems. 351-367 BibTeX
Daniel M. Yellin: Speeding up Dynamic Transitive Closure for Bounded Degree Graphs. 369-384 BibTeX
Julien Cassaigne: Unavoidable Binary Patterns. 385-395 BibTeX
Jan Kratochvíl, Mirko Krivánek: Satisfiability of Co-Nested Formulas. 397-403 BibTeX

David Spuler: The Optimal Binary Search Tree for Andersson's Search Algorithm. 405-407 BibTeX
Edward G. Coffman Jr., Leopold Flatto, A. Y. Kreinin: Scheduling Saves in Fault-Tolerant Computations. 409-423 BibTeX
Walid G. Aref, Hanan Samet: Decomposing a Window into Maximal Quadtree Blocks. 425-439 BibTeX
Alexandru Mateescu, Arto Salomaa: On Simplest Possible Solutions for Post Correspondence Problems. 441-457 BibTeX
Luc Devroye: On the Expected Height of Fringe-Balanced Trees. 459-466 BibTeX
K. Narayan Kumar, Paritosh K. Pandya: Infinitary Parallelism without Unbounded Nondeterminism in CSP. 467-487 BibTeX
Jan Van den Bussche: On Minimizing the Forall-Not Degree of a Connective-Free Formula. 489-502 BibTeX

Ambuj K. Singh: Program Refinement in Fair Transition Systems. 503-535 BibTeX
Eddy Bevers, Johan Lewi: Proving Termination of (Conditional) Rewrite Systems. A Semantic Approach. 537-568 BibTeX
Zhenyu Qian: An Algebraic Semantics of Higher-Order Types with Subtypes. 569-607 BibTeX

Zohar Manna, Amir Pnueli: Models for Reactivity. 609-678 BibTeX
Alexander Tuzhilin: Querying Datalog Programs with Temporal Logic. 679-700 BibTeX

C. A. R. Hoare, Jifeng He, Augusto Sampaio: Normal Form Approach to Compiler Design. 701-739 BibTeX
Héctor J. Hernández: Extended Nested Relations. 741-771 BibTeX
John Buckle: A Characterisation of Meet and Join Respecting Pre-Orders and Congruences on Finite Lattices. 773-785 BibTeX