Author:
Khalil Wafaa,Walters R. F. C.
Subject
Computer Science Applications,General Mathematics,Software
Reference3 articles.
1. 1. WALTERS R. F. C., An Imperative Language based on Distributive Categories, in Mathematical Structures for Computer Science (to appear).11899840788.18008
2. 2. WALTERS R. F. C., Categories and Computer Science, Carslaw Publications, 1991, Cambridge University Press, 1992.12046580789.18001
3. 3. WALTERS R. F. C, Lecture at the Conference on Categories and Computer Science, Durham, July 1991.
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Feedback, trace and fixed-point semantics;RAIRO - Theoretical Informatics and Applications;2002-04
2. Bicategories of processes;Journal of Pure and Applied Algebra;1997-02
3. Span(Graph): A categorical algebra of transition systems;Algebraic Methodology and Software Technology;1997
4. Matrices, machines and behaviors;Applied Categorical Structures;1996-12
5. On the relations between distributive computability and the BSS model;Theoretical Computer Science;1996-08