Invariant-driven specifications in Maude (Q838161): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.scico.2009.03.003
+Normal rank
@@ Property / OpenAlex ID @@
+W2017207897
@@ Property / OpenAlex ID: W2017207897 / rank @@
+Normal rank
@@ Property / cites work @@
+The B-Book
@@ Property / cites work: The B-Book / rank @@
+Normal rank
@@ Property / cites work @@
+Real-time logics: Complexity and expressiveness
@@ Property / cites work: Real-time logics: Complexity and expressiveness / rank @@
+Normal rank
@@ Property / cites work @@
+ELAN from a rewriting logic point of view
@@ Property / cites work: ELAN from a rewriting logic point of view / rank @@
+Normal rank
@@ Property / cites work @@
+Q4738326
@@ Property / cites work: Q4738326 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4885877
@@ Property / cites work: Q4885877 / rank @@
+Normal rank
@@ Property / cites work @@
+Maude: specification and programming in rewriting logic
+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 @@
+Algebraic Methodology and Software Technology
@@ Property / cites work: Algebraic Methodology and Software Technology / rank @@
+Normal rank
@@ Property / cites work @@
+Q4762660
@@ Property / cites work: Q4762660 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4222990
@@ Property / cites work: Q4222990 / rank @@
+Normal rank
@@ Property / cites work @@
+Structured theories and institutions
@@ Property / cites work: Structured theories and institutions / rank @@
+Normal rank
@@ Property / cites work @@
+Maude's module algebra
@@ Property / cites work: Maude's module algebra / rank @@
+Normal rank
@@ Property / cites work @@
+Q2851053
@@ Property / cites work: Q2851053 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3405587
@@ Property / cites work: Q3405587 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4411045
@@ Property / cites work: Q4411045 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3805955
@@ Property / cites work: Q3805955 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3997074
@@ Property / cites work: Q3997074 / rank @@
+Normal rank
@@ Property / cites work @@
+Conditional rewriting logic as a unified model of concurrency
+Normal rank
@@ Property / cites work @@
+Q3839051
@@ Property / cites work: Q3839051 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4736405
@@ Property / cites work: Q4736405 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3995087
@@ Property / cites work: Q3995087 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2778890
@@ Property / cites work: Q2778890 / rank @@
+Normal rank