An imperative language based on distributive categories II
RAIRO-Theor. Inf. Appl., 27 6 (1993) 503-522
Published online: 2017-02-01
Articles citing this article
The Citing articles tool gives a list of articles citing the current article.
The citing articles come from EDP Sciences database, as well as other publishers participating in CrossRef Cited-by Linking Program. You can set up your personal account to receive an email alert each time this article is cited by a new article (see the menu on the right-hand side of the abstract page).
Cited article:
This article has been cited by the following article(s):
Feedback, trace and fixed-point semantics
P. Katis, Nicoletta Sabadini and Robert F.C. WaltersRAIRO - Theoretical Informatics and Applications 36 (2) 181 (2002)
https://doi.org/10.1051/ita:2002009
Bicategories of processes
P. Katis, N. Sabadini and R.F.C. WaltersJournal of Pure and Applied Algebra 115 (2) 141 (1997)
https://doi.org/10.1016/S0022-4049(96)00012-6
Algebraic Methodology and Software Technology
Piergiulio Katis, N. Sabadini and R. F. C. WaltersLecture Notes in Computer Science, Algebraic Methodology and Software Technology 1349 307 (1997)
https://doi.org/10.1007/BFb0000479
A note on recursive functions
Nicoletta Sabadini, Sebastiano Vigna and Robert F. C. WaltersMathematical Structures in Computer Science 6 (2) 127 (1996)
https://doi.org/10.1017/S0960129500000918
On the relations between distributive computability and the BSS model
Sebastiano VignaTheoretical Computer Science 162 (1) 5 (1996)
https://doi.org/10.1016/0304-3975(95)00247-2
Matrices, machines and behaviors
Stephen L. Bloom, N. Sabadini and R. F. C. WaltersApplied Categorical Structures 4 (4) 343 (1996)
https://doi.org/10.1007/BF00122683