Interactions between Causal Structures in Graph Rewriting Systems
Graph rewrite formalisms are a powerful approach to modeling complex molecular systems. They capture the intrinsic concurrency of molecular interactions, thereby enabling a formal notion of mechanism (a partially ordered set of events) that explains how a system achieves a particular outcome given a...
Main Authors: | Ioana Cristescu, Walter Fontana, Jean Krivine |
---|---|
Format: | Article |
Language: | English |
Published: |
Open Publishing Association
2019-01-01
|
Series: | Electronic Proceedings in Theoretical Computer Science |
Online Access: | http://arxiv.org/pdf/1901.00592v1 |
Similar Items
-
In-place Graph Rewriting with Interaction Nets
by: Ian Mackie, et al.
Published: (2016-09-01) -
Pattern graph rewrite systems
by: Aleks Kissinger, et al.
Published: (2014-03-01) -
Structured Operational Semantics for Graph Rewriting
by: A. Dorman, et al.
Published: (2012-06-01) -
Structured Operational Semantics for Graph Rewriting
by: Andrei Dorman, et al.
Published: (2011-07-01) -
Term Graph Rewriting and Parallel Term Rewriting
by: Andrea Corradini, et al.
Published: (2011-02-01)