Journal of Computer and System Sciences （JCSS） - Volume 81, Issue 5 论文列表
| 点击这里查看 Journal of Computer and System Sciences 的JCR分区、影响因子等信息 |
| 卷期号： Volume 81, Issue 5 |
| 发布时间： August 2015 |
| 卷期年份： 2015 |
| 卷期官网： https://www.sciencedirect.com/journal/journal-of-computer-and-system-sciences/vol/81/issue/5 |
本期论文列表
Editorial Board
From the Editors
From Lawvere to Brandenburger–Keisler: Interactive forms of diagonalization and self-reference
On finitary functors and their presentations
Structural operational semantics for continuous state stochastic transition systems
Trace semantics via determinization
Lax extensions of coalgebra functors and their logic
Relational presheaves, change of base and weak simulation
Context-free coalgebras