Highly Influenced

@inproceedings{Danos2015MomentSF, title={Moment Semantics for Reversible Rule-Based Systems}, author={Vincent Danos and Tobias Heindel and Ricardo Honorato-Zimmer and Sandro Stucki}, booktitle={RC}, year={2015} }

- Published 2015 in RC
DOI:10.1007/978-3-319-20860-2_1

We develop a notion of stochastic rewriting over marked graphs – i.e. directed multigraphs with degree constraints. The approach is based on double-pushout (DPO) graph rewriting. Marked graphs are expressive enough to internalize the ‘no-dangling-edge’ condition inherent in DPO rewriting. Our main result is that the linear span of marked graph occurrence… CONTINUE READING

### Presentations referencing similar topics