Sesqui-pushout rewriting

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4178 LNCS, Issue , 2006, Pages 30-45

  Corradini, Andrea ^a   Heindel, Tobias ^a   Hermann, Frank ^b   König, Barbara ^c  

^a UNIVERSITY OF PISA   (Italy)

^b TECHNISCHE UNIVERSITÄT BERLIN   (Germany)

^c UNIVERSITY OF DUISBURG ESSEN   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

ABSTRACTING; INFORMATION ANALYSIS; MATHEMATICAL MODELS;

ABSTRACT REWRITING; ACCESS CONTROL SYSTEMS; SINGLE PUSHOUT (SPO);

COMPUTER SCIENCE;

EID: 33750260793     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11841883_4     Document Type: Conference Paper

References (20)

1. Michel Bauderon. A uniform approach to graph rewriting: The pullback approach. In M. Nagl, editor, Graph-Theoretic Concepts in Computer Science, volume 1017 of Lecture Notes in Computer Science, pages 101-115. Springer, 1995.
2. Andrea Corradini, Ugo Montanari, Prancesca Rossi, Hartmut Ehrig, Reiko Heckel, and Michael Löwe. Algebraic approaches to graph transformation - part I: Basic concepts and double pushout approach. In G. Rozenberg, editor, Handbook of Graph Grammars and Computing by Graph Transformation, Vol. 1: Foundations, chapter 3. World Scientific. 1997.
3. Roy Dyckhoff and Walter Tholen. Exponentiable morphisms, partial products and pullback complements. Journal of Pure and Applied Algebra, 49(1-2):103-116, 1987.
4. Hartmut Ehrig, Annegret Habel, Hans-Jörg Kreowski, and Francesco ParisiPresicce. Parallelism and concurrency in high level replacement systems. Mathematical Structures in Computer Science, 1:361-404, 1991.
5. Hartmut Ehrig, Reiko Heckel, Martin Korff, Michael Löwe, Leila Ribeiro, Annika Wagner, and Andrea Corradini. Algebraic approaches to graph transformation-part II: Single pushout approach and comparison with double pushout approach. In G. Rozenberg, editor, Handbook of Graph Grammars and Computing by Graph Transformation, Vol. 1: Foundations, chapter 4. World Scientific, 1997.
6. Hartmut Ehrig and Michael Löwe. Categorical principles, techniques and results for high-level-replacement systems in computer science. Applied Categorical Structures. 1:21-50, 1993.
7. Hartmut Ehrig, Michael Pfender, and Hans-Jürgen Schneider. Graph grammars: An algebraic approach. In Proc. 14th IEEE Symp. on Switching and Automata Theory, pages 167-180, 1973.
8. David F. Ferriolo, D. Richard Kuhn, and Ramaswamy Chandramouli. Role-Based Access Control. Artech House computer.security series. Artech House, 2003. ISBN: 1-580-53370-1.
9. Robert Goldblatt. Topoi: The Categorial Analysis of Logic. Studies in Logic and the Foundations of Mathematics. North-Holland Publishing Company, Amsterdam, The Netherlands, 1984.
10. Annegret Habel, Jürgen Müller, and Detlef Plump. Double-pushout graph transformation revisited. Mathematical Structures in Computer Science, 11(5):637-688, 2001.
11. Michael A. Harrison, Walter L. Ruzzo, and Jeffrey D. Ullman. Protection in operating systems. Commun. ACM, 19(8):461-471, 1976.
12. Reiko Heckel, Hartmut Ehrig, Uwe Wolter, and Andrea Corradini. Double-pullback transitions and coalgebraic loose semantics for graph transformation systems. Applied Categorical Structures, 9(1), 2001.
13. Wolfram Kahl. A fibred approach to rewriting -how the duality between adding and deleting cooperates with the difference between matching and rewriting. Technical Report 9702, Fakultät für Informatik. Universität der Bundeswehr München, May 1997.
14. Richard Kennaway. Graph Rewriting in Some Categories of Partial Morphisms. In Hartmut Ehrig. Hans-Jörg Kreowski, and Grzeġorz Rozenberg, editors, Proc. 4th. Int. Workshop on Graph Grammars and their Application to Computer Science, volume 532 of Lecture Notes in Computer Science, pages 490-504. Springer-Verlag, 1991.
15. Manuel Koch, Luigi V. Mancini, and Francesco Parisi-Presicce. A formal model for role-based access control using graph transformation. In Frédéric Cuppens, Yves Deswarte, Dieter Gollmann, and Michael Waidner, editors, ESORICS, volume 1895 of Lecture Notes in Computer Science, pages 122-139. Springer, 2000.
16. Stephen Lack and Pawel Sobociński. Adhesive and quasiadhesive categories. Theoretical Informatics and Applications, 39(2):511-546, 2005.
17. Michael Löwe. Algebraic approach to single-pushout graph transformation. Theoretical Computer Science, 109:181-224, 1993.
18. Miquel Monserrat, Francesc Rossellö, Joan Torrens, and Gabriel Valiente. Single pushout rewriting in categories of spans I: The general setting. Technical Report LSI-97-23-R, Departament de Llenguatges i Sistemes Informatics, Universitat Politècnica de Catalunya, 1997.
19. Edmund Robinson and Giuseppe Rosolini. Categories of partial maps. Information and Computation, 79(2):95-130, 1988.
20. Ravi S. Sandhu, Edward J. Coyne, Hal L. Feinstein, and Charles E. Youman. Role-based access control models. IEEE Computer, 29(2):38-47, 1996.