On the complexity of concurrent multiset rewriting

DOI10.1142/S0129054116500052zbMATH Open1339.68109MaRDI QIDQ2806558FDOQ2806558

Authors: Marin Bertier, Matthieu Perrin, Cédric Tedeschi 

Publication date: 18 May 2016

Published in: International Journal of Foundations of Computer Science (Search for Journal in Brave)

Recommendations

• Sequential and maximally parallel multiset rewriting: reversibility and determinism
• Reversibility and determinism in sequential multiset rewriting
• Multiset Rewriting: A Semantic Framework for Concurrency with Name Binding
• Minimization strategies for maximally parallel multiset rewriting systems
• Generalised multisets for chemical programming

zbMATH Keywords

complexityconcurrencyrule-based programmingmultiset rewriting

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Grammars and rewriting systems (68Q42) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Cites Work

• Generalised multisets for chemical programming
• An Algorithm for Subgraph Isomorphism
• Message delay and DisCSP search algorithms
• Constraint satisfaction algorithms for graph pattern matching
• Shared memory implementation of the gamma-operation

Cited In (6)

• Multiset Rewriting: A Semantic Framework for Concurrency with Name Binding
• Finding a forest in a tree
• Sequential and maximally parallel multiset rewriting: reversibility and determinism
• Monitoring changes in dynamic multiset systems
• Approximate Probabilistic Parallel Multiset Rewriting Using MCMC
• Modular multiset rewriting

This page was built for publication: On the complexity of concurrent multiset rewriting

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