An operational semantics of \textsc{CommUnity} based on graph transformation systems

MaRDI QIDQ2847853zbMATH OpenFDO

Authors Andrea Corradini, Dan Hirsch

Publication date 11 September 2013

Full work available at URL http://www.sciencedirect.com/science/article/pii/S1571066104052132

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42) Graph theory (including graph drawing) in computer science (68R10)

Recommendations

• scientific article; zbMATH DE number 7020157
• An institution for graph transformation
• Concurrency and loose semantics of open graph transformation systems
• Publication:4890717
• Graph-grammar semantics of a higher-order programming language for distributed systems

Cited in

(1)

• A small-step operational semantics for GP 2

This page was built for publication: An operational semantics of \textsc{CommUnity} based on graph transformation systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2847853)