Specification of Concurrent Systems: from Petri Nets to Graph Grammars-Reference-Cited by-同舟云学术

Specification of Concurrent Systems: from Petri Nets to Graph Grammars

Published:1995 Issue: Volume: Page:35-52
ISSN:
Container-title:Quality of Communication-Based Systems
language:
Short-container-title:

Author:

Corradini A.,Montanari U.

Publisher

Springer Netherlands

Link

http://link.springer.com/content/pdf/10.1007/978-94-011-0187-5_3.pdf

Reference32 articles.

1. M.A. Bednarczyk, Categories of asynchronous systems, Ph.D. Thesis, Uni-versity of Sussex, Report no. 1/88, 1988.

2. V. Claus, H. Ehrig and G. Rozenberg (Eds.), Proceedings of the 1st Interna-tional Workshop on Graph-Grammars and Their Application to Computer Science and Biology, LNCS 73, Springer-Verlag, 1979.

3. A. Corradini, H. Ehrig, M. Löwe, U. Montanari and F. Rossi, Abstract Graph Derivations in the Double-Pushout Approach, in [SE94], 1994.

4. A. Corradini, H. Ehrig, M. Löwe, U. Montanari and F. Rossi, An event structure semantics for safe graph grammars, to appear in Proceedings of the IFIP Working Conference PROCOMET ’94

5. A. Corradini, H. Ehrig, M. Löwe, U. Montanari and F. Rossi, An Event Structure Semantics for Consumptive Graph Grammars with Parallel Productions, extended abstract, 1994.

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

1. Ugo Montanari and Graph Transformation;Concurrency, Graphs and Models;2008

2. View Transformation in Visual Environments applied to Algebraic High-Level Nets;Electronic Notes in Theoretical Computer Science;2005-03

3. Tutorial Introduction to Graph Transformation: A Software Engineering Perspective;Graph Transformation;2002

4. Graph Transformation with Time: Causality and Logical Clocks;Graph Transformation;2002

5. Concurrent Computing: from Petri Nets to Graph Grammars;Electronic Notes in Theoretical Computer Science;1995