Searching for "On Algebras with Iteration." – sorted by Relevance.
-
Process Algebra with Iteration
- Process Algebra with Iteration Jan A. Bergstra 1;2 Inge Bethke 1 Alban Ponse 1 1 University
- Cited by 16 (6 self) – Add To MetaCart
-
Basic process algebra with iteration: Completeness of its equational axioms
- Basic Process Algebra with Iteration: Completeness of its Equational Axioms Wan Fokkink CWI
- Cited by 33 (13 self) – Add To MetaCart
-
Basic Process Algebra with Iteration: Completeness of its Equational Axioms
- Basic Process Algebra with Iteration: Completeness of its Equational Axioms Willem Jan Fokkink
- Add To MetaCart
-
Two Recursive Generalizations of Iteration in Process Algebra
- ) \Delta a (a ] b) \Delta a 2 p a a 2 Two Recursive Generalizations of Iteration in Process Algebra Jan
- Cited by 1 (1 self) – Add To MetaCart
-
Bounded Stacks, Bags and Queues
- the definability of bounded bags, stacks and queues in process algebras with iteration. In particular, it is shown
- Add To MetaCart
-
A relaxation strategy for inexact matrix-vector products for Krylov methods
- -outer iterations in Linear Algebra Iterative processes are widely used in Linear Algebra for treating large sets
- Add To MetaCart
-
The Algebra of Stream Processing Functions
- by the calculus of flownomials which gives a unified presentation of regular algebra and iteration theories
- Add To MetaCart
-
Reaction and Control I. Mixing Additive and Multiplicative Network Algebras
- . For instance, regular algebra and iteration theories are included in a unified presentation. On the other hand
- Cited by 7 (2 self) – Add To MetaCart
-
The Algebra of Finite State Processes
- Algebra with iteration and zero (BPA ffi ) into this lambda calculus and show that it too
- Cited by 1 (0 self) – Add To MetaCart
-
Bibliography
- , I. Bethke, and A. Ponse. Process algebra with iteration. The Computer Journal, 60:109--137, 1994
- Add To MetaCart

