## Algebra of Flownomials; Part 1: Binary Flownomials; Basic Theory

### Cached

### Download Links

- [www4.informatik.tu-muenchen.de]
- [www4.in.tum.de]
- [wwwbroy.informatik.tu-muenchen.de]
- [www4.informatik.tu-muenchen.de]
- DBLP

### Other Repositories/Bibliography

Citations: | 16 - 0 self |

### BibTeX

@MISC{Stefanescu_algebraof,

author = {Gheorghe Stefanescu},

title = {Algebra of Flownomials; Part 1: Binary Flownomials; Basic Theory},

year = {}

}

### OpenURL

### Abstract

' morphism for connecting flowgraphs are used in [CaU82] and in all of our subsequent papers on flowchart schemes and flownomials, see [Ste87a, Ste87b, CaS88a, CaS90a, CaS92]. This chapter folows Chapter B, sec. 3--6 of [Ste91]. The main result is based on a series of papers dealing with the algebraization of flowchart schemes, including [CaU82, BlEs85, Ste86/90, Bar87a, CaS88a, CaS90b]. With different sets of operators various algebras for flowgraphs appear in [Mil79, Parr87, CaS90b, CaS88b]. In the classical algebraic calculus for regular languages it is often the case that certain abstract semirings are used instead of the Boolean f0; 1g semiring, e.g. by using formal series with such coefficients. 5 This property is similar to the universal property of the polynomials over a ring. Chapter 6 Graph isomorphism with various constants In this chapter we extend the axiomatistion for flowgraphs modulo isomorphism to the case where more constants for generating relations are present i...

### Citations

3498 | Communication and concurrency - Milner - 1989 |

1452 | Calculus of Communicating Systems - MILNER - 1980 |

713 |
Concurrency and automata on infinite sequences
- Park
- 1981
(Show Context)
Citation Context ...es modulo bisimulation. 2 113 C R9 O R S C O W V OUR 9.2 Short comments and references Bisimulation is a standard equivalnce used in the algebraic studies on concurent processes. It was introduced in =-=[Park80]-=- in connection with Milner's work on concurrency [Mil80, Mil89]. See also [BeK84, BaW90, BenT89, BlET93]. The main result of this chapter is based on [BeS93, BeS94a] where it is shown that bisimulatio... |

536 |
Categories for the Working Mathematician
- MacLane
- 1998
(Show Context)
Citation Context ...uced in [Law63] and widely used in the study of the semantic of programs, e.g. in [Elg75, Elg76a,WTWG76, GTWR77, ElBT78, ArM80, Man92, BlEs93a]. The term symmetric strict monoidal category is used in =-=[MacL71]-=-. Similar strucutres, called x-categories were used by Hotz, see [Hot65, Mol88]. In the field of flowchart theories ssms'c are used is [ElS82, Ste86, Bar87a, CaS88a, CaS90a]. In logic ssmc's are used ... |

403 |
Representation f events in nerve nets and finite automata
- Kleene
- 1956
(Show Context)
Citation Context ...i S , then they specify the same morphism when they are interpreted in an arbitrary aff-flow. 4.5 Short comments and references The first axiomatic looping operation was `Kleene's star' introduced in =-=[Kle56]-=- and used as a key operation of regular algebras, see [Con71]. Another axiomatic looping operation is `Elgot dagger' introduced in [Elg75] as the key operation of iterative algebraic theories. The pre... |

392 | Process Algebra for Synchronous Communication - Bergstra, Klop - 1984 |

305 |
Regular algebra and finite machines
- Conway
- 1971
(Show Context)
Citation Context ...preted in an arbitrary aff-flow. 4.5 Short comments and references The first axiomatic looping operation was `Kleene's star' introduced in [Kle56] and used as a key operation of regular algebras, see =-=[Con71]-=-. Another axiomatic looping operation is `Elgot dagger' introduced in [Elg75] as the key operation of iterative algebraic theories. The present axiomatic feedback `uparrow' was introduced in [Ste86/90... |

236 | Derivatives of regular expressions - Brzozowski - 1964 |

224 | Process Algebra - Baeten, Weijland - 1990 |

207 | A Mathematical Theory of Computation - Manna - 1974 |

205 | A completeness theorem for Kleene algebras and the algebra of regular events - Kozen - 1994 |

196 | Initial algebra semantics and continuous algebras - Goguen, Thatcher, et al. - 1977 |

189 |
Functorial semantics of algebraic theories
- Lawvere
- 1963
(Show Context)
Citation Context ...R S (st o g xy SS CS) 5 3.4 Short comments and references Matrix theories are classical structures. (See [Elg76b] for their relationship with algebraic theories.) Algebraic theories are introduced in =-=[Law63]-=- and widely used in the study of the semantic of programs, e.g. in [Elg75, Elg76a,WTWG76, GTWR77, ElBT78, ArM80, Man92, BlEs93a]. The term symmetric strict monoidal category is used in [MacL71]. Simil... |

175 | Petri Nets are Monoids - Meseguer, Montanari - 1990 |

144 | Fundamental properties of infinite trees - Courcelle - 1983 |

137 | S.: A formalization of set theory without variables - Tarski, Givant - 1987 |

61 |
Monadic computations and iterative algebraic theories
- Elgot
- 1975
(Show Context)
Citation Context ...axiomatic looping operation was `Kleene's star' introduced in [Kle56] and used as a key operation of regular algebras, see [Con71]. Another axiomatic looping operation is `Elgot dagger' introduced in =-=[Elg75]-=- as the key operation of iterative algebraic theories. The present axiomatic feedback `uparrow' was introduced in [Ste86/90]. [Looping operations similar to our feedback may be found in various places... |

47 | Relations and Graphs - Schmidt, Ströhlein - 1993 |

38 | On the algebraic structure of rooted trees - Elgot, Bloom, et al. - 1978 |

37 | Functional specification of time-sensitive communicating systems - Broy - 1993 |

33 | The lattice of flow diagrams - Scott |

30 | Flow graphs and flow algebras - Milner - 1979 |

23 |
Towards a new algebraic foundation of flowchart scheme theory
- Stefanescu
- 1990
(Show Context)
Citation Context ... used, then the possibility to get an algebra for flowgraphs themselves is lost.] The normal form flownomial expressions are introduced in [Ste86, Ste86/90]. In the general form they are presented in =-=[CaS90a]-=-. The presentation from this chapter follows the one in Chapter B, sec. 1--2 of [Ste91]. Chapter5 Algebra of flowgraphs (aff--flow) In this chapter we justify our claim that aff-flownomials represent ... |

21 | Theory of program structures: schemes, semantics, verification - Greibach - 1975 |

17 | Algebra of Proofs - Szabo - 1978 |

16 | Equational axioms for regular sets - Bloom, Ésik - 1993 |

15 |
Feedback and generalized logic
- Bainbridge
- 1976
(Show Context)
Citation Context ...heories. The present axiomatic feedback `uparrow' was introduced in [Ste86/90]. [Looping operations similar to our feedback may be found in various places, e.g. in [Con71] (the `linear mechanism') or =-=[Bai76]-=-, but not in an axiomatic setting using ssmc's. If stronger structures then ssmc's are used, then the possibility to get an algebra for flowgraphs themselves is lost.] The normal form flownomial expre... |

15 | Feedback Theories (A Calculus for Isomorphism Classes of Flowchart Schemes - Ştefănescu - 1986 |

14 | The algebra of stream processing functions - Stefanescu - 1996 |

13 | Regular trees and the free iterative theory - Ginali - 1979 |

11 | Solutions of the iteration equation and extensions of the scalar iteration operation - Bloom, Elgot, et al. - 1980 |

11 |
Classes of finite relations as initial abstract data types
- Stefanescu
- 1994
(Show Context)
Citation Context ...g and y 2 fff# fi# fl# ffig the algebra xy-IRel S of Ssorted xy-relations is an initial object in the category xy-SSMC Ss. 2 2.7 Short comments and references The results of this chapter are based on =-=[CaS91]-=-. The presentation we have given follows the slightly improved version presented in Chapter A of [Ste91]. In [Laf92] a confluent and terminating rewriting system is given for affi-terms (functions) . ... |

9 | Iteration theories of synchronization trees - Bloom, Ésik, et al. - 1993 |

8 |
Matricial theories
- Elgot
(Show Context)
Citation Context ...nt, namely the "matrix" with 0 rows and n columns# similarly for n =0. C R 3 CR C C C C S RUC UR S (st o g xy SS CS) 5 3.4 Short comments and references Matrix theories are classical structu=-=res. (See [Elg76b]-=- for their relationship with algebraic theories.) Algebraic theories are introduced in [Law63] and widely used in the study of the semantic of programs, e.g. in [Elg75, Elg76a,WTWG76, GTWR77, ElBT78, ... |

7 | A On homomorphlsms• correctness, termination, unfoldments and equivalence of flow diagram programs - GOGUEN - 1972 |

7 |
diagrams and 2-dimensional rewriting
- Lafont, “Penrose
- 1992
(Show Context)
Citation Context ...MC Ss. 2 2.7 Short comments and references The results of this chapter are based on [CaS91]. The presentation we have given follows the slightly improved version presented in Chapter A of [Ste91]. In =-=[Laf92]-=- a confluent and terminating rewriting system is given for affi-terms (functions) . Chapter 3 Critical acyclic structures (strong xy-ssmc's) In this chapter we introduce three critical structures that... |

6 | Fixed points in free process algebras - Benson, Tiuryn |

6 | A formal representation of flowchart schemes - Stefanescu - 1988 |

5 |
Partially additive categories and flow-diagram semantics
- Arbib, Manes
- 1980
(Show Context)
Citation Context ...he dual one. 2 C R 7 OWGR V OURS# G R C S 0 7.4 Short comments and references This chapter is a technical one. It is based on Chapter C of [Ste91]. The enzymatic rule via general functions is used in =-=[ArM80]-=- under the name `functoriality rule', a name which was also used in our previous papers. In an implicit way the enzymatic rule for functions appear in the axiomatization of iteration theories in [Esi8... |

5 | Predicate transformer semantics - Manes - 1992 |

5 | An algebraic theory of flowchart schemes - Stefanescu - 1986 |

4 | Translations between flowchart schemes and process graphs - Stefanescu - 1993 |

4 |
Identities in iterative and rational algebraic theories
- Ésik
- 1980
(Show Context)
Citation Context ...pter D, sec. 1--3 of [Ste91]. In the particular case of flowgraphs connected by partial functions a stronger result is provided by the equational axiomatisation of regular trees obtained by Esik, see =-=[Esi80]-=-. Esik's ideea was to replace the enzymatic axiom for functions by an weaker equational version. A problem with Esik's axiom is the fact that it is a difficult, global one and up to now there is no be... |

3 | A finite axiomatization of flowchart schemes - Bartha - 1987 |

3 | Bisimulation is two-way simulation - Stefanescu - 1994 |

3 | Axiomatizing schemes and their behaviour - Bloom, Esik - 1985 |

3 |
Structured programming with and without go to statements
- Elgot
- 1976
(Show Context)
Citation Context ...c \Phi? d ) (I a \Phi? b ) \Delta f \Delta (? c \Phi I d ) (? a \Phi I b ) \Delta f \Delta (I c \Phi? d ) (? a \Phi I b ) \Delta f \Delta (? c \Phi I d ) ! : We mention here the following result (see =-=[Elg76a]-=-). Let B be a matrix theory over (IN# +# 0). On the set B(1# 1) we introduce the operations f [ g =s1 \Delta (f \Phi g) \Delta 1# f \Delta g = f \Delta g# 0=? 1 \Delta? 1# and 1=I 1 : So we get a semi... |

3 | Some geometrical categories associated with flowchart schemes - Elgot - 1977 |

3 | Free net algebras in VLSI-theory - Molitor - 1988 |

3 | Synchronisation flow algebra - Parrow - 1987 |