Strategy-Based Rewrite Semantics for Membrane Systems Preserves Maximal Concurrency of Evolution Rule Actions

Dorel Lucanu. Strategy-Based Rewrite Semantics for Membrane Systems Preserves Maximal Concurrency of Evolution Rule Actions. Electronic Notes in Theoretical Computer Science, 237:107-125, 2009. [doi]

Abstract

Abstract is missing.