Acta Informatica, Volume 36

Volume 36, Number 1, 1999

Michael Schenke, Ernst-Rüdiger Olderog:
Transformational Design of Real-Time Systems Part I: From Requirements to Program Specifications. 1-65
Michael Schenke:
Transformational Design of Real-Time Systems. Part II: From Program Specifications to Programs. 67-96

Klaus-Dieter Schewe, Bernhard Thalheim:
Towards a Theory of Consistency Enforcement. 97-141
William C. K. Yen, C. Y. Tang:
An Optimal Algorithm for Solving the Searchlight Guarding Problem on Weighted Two-Terminal Series-Parallel Graphs. 143-172

Millist W. Vincent:
Semantic Foundations of 4NF in Relational Database Design. 173-213
Yijie Han, Yoshihide Igarashi:
Parallel PROFIT/COST Algorithms Through Fast Derandomization. 215-232
Ivana Cerná, Mojmír Kretínský, Antonín Kucera:
Comparing Expressibility of Normed BPA and Normed BPP Processes. 233-256

Guido Proietti:
An Optimal Algorithm for Decomposing a Window into Maximal Quadtree Blocks. 257-266
Roni Khardon, Heikki Mannila, Dan Roth:
Reasoning with Examples: Propositional Formulae and Database Dependencies. 267-286
Amos Fiat, Gerhard J. Woeginger:
On-Line Scheduling on a Single Machine: Minimizing the Total Completion Time. 287-293
Ralph-Johan Back, Joakim von Wright:
Reasoning Algebraically about Loops. 295-334

Pierpaolo Degano, Corrado Priami, Lone Leth, Bent Thomsen:
Causality for Debugging Mobile Agents. 335-374
Beata Konikowska, Marcin Bialasik:
Reasoning with First Order Nondeterministic Specifications. 375-403
Hong Shen:
Finding the k Most Vital Edges with Respect to Minimum Spanning Tree. 405-424

Lars Lundberg, Håkan Lennerstad:
Optimal Bounds on the Gain of Permitting Dynamic Allocation of Communication Channels in Distributed Computing. 425-446
Shlomi Dolev, Mohamed G. Gouda, Marco Schneider:
Memory Requirements for Silent Stabilization. 447-462
Ferri Abolhassan, Jörg Keller, Wolfgang J. Paul:
On the Cost-Effectiveness of PRAMs. 463-487
Jesús N. Ravelo:
Two Graph Algorithms Derived. 489-510

Anthony J. Bonner, Giansalvatore Mecca:
Querying Sequence Databases with Transducers. 511-544
Karsten Schmidt:
How to Calculate Symmetries of Petri Nets. 545-590

Hans-Dieter Ehrich, Carlos Caleiro:
Specifying Communication in Distributed Information Systems. 591-616
Gary T. Leavens, Don Pigozzi:
A Complete Algebraic Characterization of Behavioral Subtyping. 617-663
Lucian Ilie, Arto Salomaa:
On the Expressiveness of Subset-Sum Representations. 665-672

T. C. Edwin Cheng, Qing Ding:
Single Machine Scheduling with Deadlines and Increasing Rates of Processing Times. 673-692
Yoshiki Kinoshita, John Power:
Data Refinement and Algebraic Structure. 693-719
Gunnar Forst, Anders Thorup:
Minimal Huffman Trees. 721-734
Hosam M. Mahmoud, Philippe Flajolet, Philippe Jacquet, Mireille Régnier:
Analytic Variations on Bucket Selection and Sorting. 735-760
Sergei Gorlatch, Christian Lengauer:
Abstraction and Performance in the Design of Parallel Programs: An Overview of the SAT Approach. 761-803
Juha Honkala:
On Slender 0L Languages over the Binary Alphabet. 805-815
Benedetto Intrigila, Stefano Varricchio:
On the Generalization of Higman and Kruskal's Theorems to Regular Languages and Rational Trees. 817-835

Yonit Kesten, Zohar Manna, Amir Pnueli:
Verification of Clocked and Hybrid Systems. 837-912
Erzsébet Csuhaj-Varjú, Victor Mitrana:
Evolutionary Systems: A Language Generating Device Inspired by Evolving Communities of Cells. 913-926

Frank Tip, Peter F. Sweeney:
Class Hierarchy Specialization. 927-982
Arturo Carpi, Aldo de Luca:
Special Factors, Periodicity, and an Application to Sturmian Words. 983-1006
Aart Middeldorp, Hitoshi Ohsaki:
Type Introduction for Equational Rewriting. 1007-1029