Modeling dependencies and simultaneity in membrane system computations (Q418826): Difference between revisions

@@ Property / Mathematics Subject Classification ID @@
+Q10
@@ Property / Mathematics Subject Classification ID: 68Q10 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+Q05
@@ Property / Mathematics Subject Classification ID: 68Q05 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+Q85
@@ Property / Mathematics Subject Classification ID: 68Q85 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+6039196
@@ Property / zbMATH DE Number: 6039196 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+membrane computing
@@ Property / zbMATH Keywords: membrane computing / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+zero-safe Petri nets
@@ Property / zbMATH Keywords: zero-safe Petri nets / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+event structures
@@ Property / zbMATH Keywords: event structures / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.tcs.2011.12.060
+Normal rank
@@ Property / OpenAlex ID @@
+W2029279619
@@ Property / OpenAlex ID: W2029279619 / rank @@
+Normal rank
@@ Property / cites work @@
+Rule-based and object-based event structures for membrane systems
+Normal rank
@@ Property / cites work @@
+Domain and event structure semantics for Petri nets with read and inhibitor arcs
+Normal rank
@@ Property / cites work @@
+Contextual Petri nets, asymmetric event structures, and processes
+Normal rank
@@ Property / cites work @@
+Compositional semantics and behavioral equivalences for P systems
+Normal rank
@@ Property / cites work @@
+Bisimulations in calculi modelling membranes
@@ Property / cites work: Bisimulations in calculi modelling membranes / rank @@
+Normal rank
@@ Property / cites work @@
+Zero-safe nets: Comparing the collective and individual token approaches.
+Normal rank
@@ Property / cites work @@
+Q4421729
@@ Property / cites work: Q4421729 / rank @@
+Normal rank
@@ Property / cites work @@
+Using well-structured transition systems to decide divergence for catalytic P systems
+Normal rank
@@ Property / cites work @@
+Causality in Membrane Systems
@@ Property / cites work: Causality in Membrane Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q3406469
@@ Property / cites work: Q3406469 / rank @@
+Normal rank
@@ Property / cites work @@
+Events, Causality, and Concurrency in Membrane Systems
+Normal rank
@@ Property / cites work @@
+Configuration structures, event structures and Petri nets
+Normal rank
@@ Property / cites work @@
+The unfolding of general Petri nets
@@ Property / cites work: The unfolding of general Petri nets / rank @@
+Normal rank
@@ Property / cites work @@
+Processes of membrane systems with promoters and inhibitors
+Normal rank
@@ Property / cites work @@
+Membrane Computing
@@ Property / cites work: Membrane Computing / rank @@
+Normal rank
@@ Property / cites work @@
+Q3505124
@@ Property / cites work: Q3505124 / rank @@
+Normal rank
@@ Property / cites work @@
+Merged processes: a new condensed representation of Petri net behaviour
+Normal rank
@@ Property / cites work @@
+Petri nets, event structures and domains. I
@@ Property / cites work: Petri nets, event structures and domains. I / rank @@
+Normal rank
@@ Property / cites work @@
+Q4267176
@@ Property / cites work: Q4267176 / rank @@
+Normal rank
@@ Property / cites work @@
+Computing with membranes
@@ Property / cites work: Computing with membranes / rank @@
+Normal rank
@@ Property / cites work @@
+Q3413367
@@ Property / cites work: Q3413367 / rank @@
+Normal rank
@@ Property / cites work @@
+On the nature of events: another perspective in concurrency
+Normal rank
@@ Property / cites work @@
+Q4621133
@@ Property / cites work: Q4621133 / rank @@
+Normal rank
@@ Property / cites work @@
+Cellular modelling using P systems and process algebra
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:418826