An algebraic semantics for MOF (Q973052): Difference between revisions

@@ Property / describes a project that uses @@
+SelfSync
@@ Property / describes a project that uses: SelfSync / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+WebSphere
@@ Property / describes a project that uses: WebSphere / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Maude
@@ Property / describes a project that uses: Maude / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+MOMENT2
@@ Property / describes a project that uses: MOMENT2 / 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.1007/s00165-009-0140-9
+Normal rank
@@ Property / OpenAlex ID @@
+W1991651491
@@ Property / OpenAlex ID: W1991651491 / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q125377640
@@ Property / Wikidata QID: Q125377640 / rank @@
+Normal rank
@@ Property / cites work @@
+What Is a Multi-modeling Language?
@@ Property / cites work: What Is a Multi-modeling Language? / rank @@
+Normal rank
@@ Property / cites work @@
+Specification and proof in membership equational logic
+Normal rank
@@ Property / cites work @@
+Semantic foundations for generalized rewrite theories
+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 @@
+Q2764105
@@ Property / cites work: Q2764105 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4738323
@@ Property / cites work: Q4738323 / rank @@
+Normal rank
@@ Property / cites work @@
+Representing the MSR cryptoprotocol specification language in an extension of rewriting logic with dependent types
+Normal rank
@@ Property / cites work @@
+Reflection in membership equational logic, many-sorted equational logic, Horn logic with equality, and rewriting logic
+Normal rank
@@ Property / cites work @@
+Fundamentals of algebraic graph transformation
@@ Property / cites work: Fundamentals of algebraic graph transformation / rank @@
+Normal rank
@@ Property / cites work @@
+Q4951112
@@ Property / cites work: Q4951112 / rank @@
+Normal rank
@@ Property / cites work @@
+Institutions: abstract model theory for specification and programming
+Normal rank
@@ Property / cites work @@
+Generalized sketches as a framework for completeness theorems. I-III
+Normal rank
@@ Property / cites work @@
+Automated Reasoning
@@ Property / cites work: Automated Reasoning / rank @@
+Normal rank
@@ Property / cites work @@
+The rewriting logic semantics project
@@ Property / cites work: The rewriting logic semantics project / 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 @@
+Semantics and pragmatics of real-time maude
@@ Property / cites work: Semantics and pragmatics of real-time maude / rank @@
+Normal rank
@@ Property / cites work @@
+Handbook of Graph Grammars and Computing by Graph Transformation
+Normal rank
@@ Property / cites work @@
+A rewriting logic approach to operational semantics
+Normal rank
@@ Property / cites work @@
+Pure Type Systems in Rewriting Logic: Specifying Typed Higher-Order Languages in a First-Order Logical Framework
+Normal rank