A Bi-Categorical Axiomatisation of Concurrent Graph Rewriting (1999)

Cached

Download Links

by Fabio Gadducci , Reiko Heckel , Mercé Llabrés
Citations:15 - 8 self

Document Versions

A Bi-Categorical Axiomatisation of Concurrent Graph Rewriting –Fabio Gadducci, Reiko Heckel, Mercé Llabrés — 1999