Processes and local actions

DOI10.1016/S1571-0661(04)80202-0MaRDI QIDQ4923540zbMATH OpenFDO

Authors Dirk Janssens

Publication date 24 May 2013

Published in Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/S1571-0661(04)80202-0

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

• Algebraic properties of processes for Local Action Systems
• Publication:4502814
• scientific article; zbMATH DE number 2087494
• 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.
• Formal Methods in Software and Systems Modeling

Cites work

• Handbook of Graph Grammars and Computing by Graph Transformation
• scientific article; zbMATH DE number 1504835 (Why is no real title available?)
• scientific article; zbMATH DE number 919845 (Why is no real title available?)
• scientific article; zbMATH DE number 1437942 (Why is no real title available?)
• On the structure of node-label-controlled graph languages
• Semantics of inhibitor nets

Cited in

(3)

• scientific article; zbMATH DE number 1504835 (Why is no real title available?)
• Algebraic properties of processes for Local Action Systems
• GETGRATS: a summary of scientific results (with annotated bibliography)

This page was built for publication: Processes and local actions

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