J. Comput. Syst. Sci. - researchr journal

150	--	178	Donald Sannella, Andrzej Tarlecki. On Observational Equivalence and Algebraic Specification
179	--	209	Peter Padawitz. Parameter-Preserving Data Type Specifications
210	--	235	Ilaria Castellani. Bisimulations and Abstraction Homomorphisms
236	--	265	Manfred Broy. Specification and Top-Down Design of Distributed Systems
266	--	292	Johann A. Makowsky. Why Horn Formulas Matter in Computer Science: Initial Structures and Generic Examples
293	--	339	Edward K. Blum, Hartmut Ehrig, Francesco Parisi-Presicce. Algebraic Specification of Modules and Their Basic Interconnections
340	--	376	Axel Poigné, Josef Voss. On the Implementation of Abstract Data Types by Programming Language Constructs
377	--	408	Paul Boehm, Harald-Reto Fonio, Annegret Habel. Amalgamation of Graph Transformations: A Synchronization Mechanism
409	--	421	Rod M. Burstall. Inductively Defined Functions in Functional Programming Languages
422	--	461	Pierpaolo Degano, Ugo Montanari. Concurrent Histories: A Basis for Observing Distributed Systems

1	--	18	Domenico Cantone, Alfredo Ferro, Jacob T. Schwartz. Decision Procedures for Elementary Sublanguages of Set Theory. V. Multilevel Syllogistic Extended by the General Union Operator
19	--	26	Greg N. Frederickson. Upper Bounds for Time-Space Trade-Offs in Sorting and Selection
27	--	42	Amihood Amir. Expressive Completeness Failure in Branching Time Structures
27	--	42	Amihood Amir. Expressive Completeness Failure in Branching Time Structures
43	--	54	Andranik Mirzaian. River Routing in VLSI
55	--	74	Rodney R. Howell, Louis E. Rosier. An Analysis of the Nonemptiness Problem for Classes of Reversal-Bounded Multicounter Machines
75	--	86	Ker-I Ko, Chin-Ming Hua. A Note on the Two-Variable Pattern-Finding Problem
87	--	128	Heiko Vogler. Basic Tree Transducers
129	--	148	Karl R. Abrahamson. Succinct Representation of Regular Sets Using Gotos and Boolean Variables

External Links