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.
• scientific article; zbMATH DE number 2087494
• scientific article; zbMATH DE number 4049097
• Formal Methods in Software and Systems Modeling

Cited in

(7)

• A theory of processes with localities
• Formal Methods in Software and Systems Modeling
• Processes and local actions
• GETGRATS: a summary of scientific results (with annotated bibliography)
• scientific article; zbMATH DE number 1504835 (Why is no real title available?)
• Locality based semantics for process algebras
• scientific article; zbMATH DE number 2087494 (Why is no real title available?)

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)