Matrices, machines and behaviors

Applied Categorical Structures

Volumn 4, Issue 4, 1996, Pages 343-360

  Bloom, Stephen L ^a   Sabadini, N ^b   Walters, R F C ^c  

^a Stevens Institute of Technology   (United States)

^b UNIVERSITY OF MILAN   (Italy)

^c UNIVERSITY OF SYDNEY   (Australia)

Author keywords

Bicategories; Compositional semantics; Finite automata; Iteration theories

Indexed keywords

COMPUTATIONAL LINGUISTICS; COMPUTATIONAL METHODS; CONCURRENCY CONTROL; DATA STRUCTURES; FEEDBACK; ITERATIVE METHODS; MATRIX ALGEBRA; PARALLEL PROCESSING SYSTEMS;

BICATEGORY; COMPOSITIONAL SEMANTICS; DATA TYPES; MACHINE BEHAVIOR; NATURAL NUMBERS;

FINITE AUTOMATA;

EID: 0030396775     PISSN: 09272852     EISSN: None     Source Type: Journal    
DOI: 10.1007/BF00122683     Document Type: Article

References (8)

1. Bloom, S. L. and Ésik, Z.: Equational axioms for regular sets, Mathematical Structures in Computer Science 3 (1993), 1-24.
2. Bloom, S. L. and Ésik, Z.: Iteration Theories: The Equational Logic of Iterative Processes, EATCS Monographs on Theoretical Computer Science, Springer-Verlag, 1993.
3. Bloom, S. L. and Ésik, Z.: Matrix and matricial iteration theories, Part I, Journal of Computer and System Sciences 46 (1993), 381-408.
4. Elgot, C. C.: Monadic computation and iterative algebraic theories, in J. C. Shepherdson (ed.), Logic Colloquium 1973, Studies in Logic, Vol. 80, North-Holland, Amsterdam, 1975.
5. Khalil, W. and Walters, R. F. C.: An imperative language based on distributive categories II, in Informatique Théorique et Applications, 1993.
6. Sabadini, N. and Walters, R. F. C.: On functions and processors: an automata-theoretic approach to concurrency through distributive categories, in School of Mathematics and Statistics Research Reports, University of Sydney (93-7), November 1993.
7. Sabadini, N., Walters, R. F. C., and Weld, Henry: Distributive automata and asynchronous circuits, May 1993, CTCS93. Available by anonymous ftp at ghost.sm.dsi.unimi.it in the directory pub2/papers/sabadini and at maths.su.oz.au in the directory sydcat/papers/walters.
8. Walters, R. F. C.: Categories and Computer Science, Carslaw Publications (1991), Cambridge University Press (1992), 1991.