Simulation and Verification of Synchronous Set Relations in Rewriting Logic (Q3098052): Difference between revisions

@@ Property / OpenAlex ID @@
+W25877563
@@ Property / OpenAlex ID: W25877563 / rank @@
+Normal rank
@@ Property / cites work @@
+Semantic foundations for generalized rewrite theories
+Normal rank
@@ Property / cites work @@
+P systems with control nuclei: the concept
@@ Property / cites work: P systems with control nuclei: the concept / rank @@
+Normal rank
@@ Property / cites work @@
+All about Maude -- a high-performance logical framework. How to specify, program and verify systems in rewriting logic. With CD-ROM.
+Normal rank
@@ Property / cites work @@
+Strategy-Based Rewrite Semantics for Membrane Systems Preserves Maximal Concurrency of Evolution Rule Actions
+Normal rank
@@ Property / cites work @@
+Q3839051
@@ Property / cites work: Q3839051 / rank @@
+Normal rank
@@ Property / cites work @@
+Proving Safety Properties of Rewrite Theories
@@ Property / cites work: Proving Safety Properties of Rewrite Theories / rank @@
+Normal rank
@@ Property / cites work @@
+A formal library of set relations and its application to synchronous languages
+Normal rank
@@ Property / cites work @@
+Defining and Executing P Systems with Structured Data in K
+Normal rank
@@ Property / cites work @@
+Equational rules for rewriting logic
@@ Property / cites work: Equational rules for rewriting logic / rank @@
+Normal rank