Algebraic properties of processes for Local Action Systems

DOI10.1017/S096012950100353XMaRDI QIDQ4792943zbMATH OpenOpenAlexFDO

Authors Nico Verlinden, Dirk Janssens

Publication date 13 March 2003

Published in Mathematical Structures in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1017/s096012950100353x

zbMATH Keywords

graph rewritinglocal action system

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Processes and local actions
• Modeling Petri Nets by Local Action Systems1 1Partially supported by the EC TMR Network GETGRATS (General Theory of Graph Transformation Systems) and Esprit Working Group APPLIGRAPH through Universitaire Instelling Antwerpen.
• Local action systems and DPO graph transformation
• scientific article; zbMATH DE number 4049097
• Embeddings and contexts for link graphs

Cited in

(7)

• A theory of processes with localities
• Locality based semantics for process algebras
• A framework for NLC and ESM: Local action systems
• Local action systems and DPO graph transformation
• GETGRATS: a summary of scientific results (with annotated bibliography)
• Processes and local actions
• Embeddings and contexts for link graphs

This page was built for publication: Algebraic properties of processes for Local Action Systems

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