References
- Arnold , A. and Dauchet , M. 1978 . (I et II), RAIRO Informatique Théorique . Théorie de magmoïds , 12 : 235 – 257 .
- Best , E. 1987 . Sequential and Concurrent Behaviour in Petri Net Theory , 55 : 87 – 136 .
- Bauderon , M. and Courcelle , B. 1987 . Graph expressions and graph rewritings, Math. System Theory , 20 : 83 – 127 .
- Courcelle , B. 1990 . “ Graph Rewriting ” . In An Algebraic and Logic Approach , Edited by: Van Leeuwen , J. Elsevier Science Publishers B. V. .
- Cazanescu , V.-E. and Stefanescu , Gh. 1991 . Classes of finite relations as initial abstract data types I, Discrete Mathematics , 90 : 233 – 265 .
- Ehrig H. Lowe M. Computing by Graph Transformations (Compugraph) Final Report ESPRI Basic Research Group No. 3299 1992
- Ehrig , H. and Lowe , M. 1993 . Parallel an distributed derivations in the single-pushout approach , 109 : 1 – 2 .
- Goguen , J. A. , Winkler , T. , Meseguer , J. , Futatsugi , K. and Jouannaud , J. P. 1992 . Introducing , 92 ( 03 )
- Lucanu D. Systems of equations on 2W-algebras, submitted for publication
- Lucanu D. Processes and Traces are Proofs in Petri Net Rewrite Theory report of Depart. of Computer Science University of Iasi 1994 Romania
- Lucanu D. Canonical forms in Dag Algebras report of Depart. of Computer Science University of Iasi 1994 Romania
- MacLane S. Category theory for working mathematician Springer Verlag Berlin 1971
- Meseguer , J. 1992 . Conditional rewriting logic as unified model of concurrency, Theoretical Computer science , 96 ( 73 ) : 73 – 155 . Elsevier
- Meseguer J. Research Directions in Concurrent Object-Oriented Programming A Logical Theory of Concurrent Objects and Its Realization in the Maude language Agha G. Wegner P. Yonezawa A. MIT Press Berlin 314 390
- Rozenberg G. Behaviour of Elementary Net Systems Adv.in Petri Nets 1986 (LNCS 254) Springer Verlag 1987 60 94
- Thatcher J. Wagner E.G. Wright J. B. Notes on algebraic fundamentals for theoretical computer science Foundations of Computer Science III, Part 2 Mathematical Center Tracts Amsterdam 1979 109 85 149
- Thiagarajan , P. S. 1988 . LNCS . Some Behavioural Aspects of Net Theory , 317 : 630 – 653 .
- Warin B. Rationalite et reconnaissabilite dans des graphs These d etat 1986
- Grätzer G. Universal Algebra D. Van Nostrand Company, Inc 1968