Executable structural operational semantics in Maude (Q2369036): Difference between revisions

@@ Property / cites work @@
+Q4536762
@@ Property / cites work: Q4536762 / rank @@
+Normal rank
@@ Property / cites work @@
+Specification and proof in membership equational logic
+Normal rank
@@ Property / cites work @@
+Q2767190
@@ Property / cites work: Q2767190 / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraic Methodology and Software Technology
@@ Property / cites work: Algebraic Methodology and Software Technology / rank @@
+Normal rank
@@ Property / cites work @@
+Q4449180
@@ Property / cites work: Q4449180 / rank @@
+Normal rank
@@ Property / cites work @@
+A Modal Logic for Full LOTOS based on Symbolic Transition Systems
+Normal rank
@@ Property / cites work @@
+Q4222997
@@ Property / cites work: Q4222997 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2734833
@@ Property / cites work: Q2734833 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4222994
@@ Property / cites work: Q4222994 / rank @@
+Normal rank
@@ Property / cites work @@
+Maude: specification and programming in rewriting logic
+Normal rank
@@ Property / cites work @@
+Q4447224
@@ Property / cites work: Q4447224 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2851051
@@ Property / cites work: Q2851051 / rank @@
+Normal rank
@@ Property / cites work @@
+Generic tools for verifying concurrent systems
@@ Property / cites work: Generic tools for verifying concurrent systems / rank @@
+Normal rank
@@ Property / cites work @@
+A causal semantics for CCS via rewriting logic
@@ Property / cites work: A causal semantics for CCS via rewriting logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q3327701
@@ Property / cites work: Q3327701 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4222853
@@ Property / cites work: Q4222853 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3221381
@@ Property / cites work: Q3221381 / rank @@
+Normal rank
@@ Property / cites work @@
+Comparing logics for rewriting: Rewriting logic, action calculi and tile logic
+Normal rank
@@ Property / cites work @@
+Q4275377
@@ Property / cites work: Q4275377 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3998266
@@ Property / cites work: Q3998266 / rank @@
+Normal rank
@@ Property / cites work @@
+Symbolic bisimulations
@@ Property / cites work: Symbolic bisimulations / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraic laws for nondeterminism and concurrency
@@ Property / cites work: Algebraic laws for nondeterminism and concurrency / rank @@
+Normal rank
@@ Property / cites work @@
+Q4365103
@@ Property / cites work: Q4365103 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3777424
@@ Property / cites work: Q3777424 / rank @@
+Normal rank
@@ Property / cites work @@
+\(\pi\)-calculus in (Co)inductive-type theory
@@ Property / cites work: \(\pi\)-calculus in (Co)inductive-type theory / rank @@
+Normal rank
@@ Property / cites work @@
+Q3805933
@@ Property / cites work: Q3805933 / rank @@
+Normal rank
@@ Property / cites work @@
+IThe 2nd international workshop on rewriting logic and its applications, RWLW.. Abbaye des Prèmontrès at Pont-á-Mousson, France, September 1998
+Normal rank
@@ Property / cites work @@
+Handbook of philosophical logic. Vol. 9
@@ Property / cites work: Handbook of philosophical logic. Vol. 9 / rank @@
+Normal rank
@@ Property / cites work @@
+Rewriting logic: Roadmap and bibliography
@@ Property / cites work: Rewriting logic: Roadmap and bibliography / 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 @@
+Q3992568
@@ Property / cites work: Q3992568 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4941890
@@ Property / cites work: Q4941890 / rank @@
+Normal rank
@@ Property / cites work @@
+Winskel is (almost) right: Towards a mechanized semantics textbook
+Normal rank
@@ Property / cites work @@
+Isabelle/HOL. A proof assistant for higher-order logic
+Normal rank
@@ Property / cites work @@
+Theories of Programming Languages
@@ Property / cites work: Theories of Programming Languages / rank @@
+Normal rank
@@ Property / cites work @@
+Q2703692
@@ Property / cites work: Q2703692 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2851057
@@ Property / cites work: Q2851057 / rank @@
+Normal rank
@@ Property / cites work @@
+Encoding natural semantics in Coq
@@ Property / cites work: Encoding natural semantics in Coq / rank @@
+Normal rank
@@ Property / cites work @@
+Q4762654
@@ Property / cites work: Q4762654 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4422086
@@ Property / cites work: Q4422086 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4222852
@@ Property / cites work: Q4222852 / rank @@
+Normal rank