Modular system design applying graph grammars techniques-Reference-Cited by-同舟云学术

Modular system design applying graph grammars techniques

Published:1989 Issue: Volume: Page:621-636
ISSN:0302-9743
Container-title:Automata, Languages and Programming
language:
Short-container-title:

Author:

Parisi-Presicce Francesco

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/BFb0035788

Reference21 articles.

1. E.K. Blum, H. Ehrig, F. Parisi-Presicce, Algebraic Specification of Modules and their Basic Interconnections, J. Comp. System Sci.34, 2/3 (1987) 239–339

2. P. Boehm, H.-R. Fonio, A. Habel, Amalgamation of Graph Transformations with Applications to Synchronization, Lect. Notes in Comp. Sci. 185(1985) 267–283

3. R.M.Burstall, J.A.Goguen, Putting Theories together to make Specifications, Proc.5th Int. Conf. on Artificial Intelligence (1977) 1045–1058

4. H. Ehrig, Introduction to the Algebraic Theory of Graph Grammars, Lect. Notes in Comp. Sci. 73 (1979) 1–69

5. H.Ehrig, W.Fey, H.Hansen, M.Lowe, F.Parisi-Presicce, Algebraic Theory of Modular Specification Development, TUB Report 87-06, to appear in Proc. Symp. on Computation Theory 1987

Cited by 8 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. -adhesive transformation systems with nested application conditions. Part 1: parallelism, concurrency and amalgamation;Mathematical Structures in Computer Science;2014-06-26

2. Interaction between Algebraic Specification Grammars and Modular System Design;Algebraic Methodology and Software Technology (AMAST’93);1994

3. Categorical principles, techniques and results for high-level-replacement systems in computer science;Applied Categorical Structures;1993

4. Single vs. double pushout derivations of graphs;Graph-Theoretic Concepts in Computer Science;1993

5. Parallelism and concurrency in high-level replacement systems;Mathematical Structures in Computer Science;1991-11