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