0022-0000

Journal of Computer and System Sciences （JCSS） - Volume 34, Issues 2–3 论文列表

点击这里查看 Journal of Computer and System Sciences 的JCR分区、影响因子等信息
卷期号： Volume 34, Issues 2–3
发布时间： April–June 1987
卷期年份： 1987
卷期官网： https://www.sciencedirect.com/journal/journal-of-computer-and-system-sciences/vol/34/issue/2
本期论文列表
Editor's foreword

On observational equivalence and algebraic specification

Parameter-preserving data type specifications

Bisimulations and abstraction homomorphisms

Specification and top-down design of distributed systems

Why horn formulas matter in computer science: Initial structures and generic examples

Algebraic specification of modules and their basic interconnections

On the implementation of abstract data types by programming language constructs

Amalgamation of graph transformations: A synchronization mechanism

Inductively defined functions in functional programming languages

Concurrent histories: A basis for observing distributed systems

Author index for volume 34