Bulletin of the EATCS, Volume 54

Volume 54, October 1994

The Algebraic Specification Column

Hartmut Ehrig, Julia Padberg: Linking Algebraic High level Nets and Dynamic Abstract Data. 132-144 BibTeX

The Logic in Computer Science Column

The Structural Complexity Column

Richard Chang: A Machine Model for NP-Approximation Problems and the Revenge of the Boolean Hierarchy. 166-183 BibTeX

The Concurrency Column

The Formal Language Theory Column

Technical Contributions

Amar Bouali, Stefania Gnesi, Salvatore Larosa: JACK: Just Another Concurrency Kit. The intergration Projekt. 207-223 BibTeX
Solomon Marcus, Gheorghe Paun: Infinite (Almost Periodic) Words, Formal Languages and Dynamical Systems. 224-231 BibTeX