Two case studies of semantics execution in Maude: CCS and LOTOS (Q816216): Difference between revisions

@@ Property / cites work @@
+Q4435458
@@ Property / cites work: Q4435458 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4736387
@@ Property / cites work: Q4736387 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4223001
@@ Property / cites work: Q4223001 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4222985
@@ Property / cites work: Q4222985 / rank @@
+Normal rank
@@ Property / cites work @@
+Tabled evaluation with delaying for general logic programs
+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 @@
+Q4222979
@@ Property / cites work: Q4222979 / rank @@
+Normal rank
@@ Property / cites work @@
+Reflection in conditional rewriting logic
@@ Property / cites work: Reflection in conditional rewriting logic / 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 @@
+Q3327701
@@ Property / cites work: Q3327701 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3221381
@@ Property / cites work: Q3221381 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5287513
@@ Property / cites work: Q5287513 / 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 @@
+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 @@
+Q4263840
@@ Property / cites work: Q4263840 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4222877
@@ Property / cites work: Q4222877 / rank @@
+Normal rank
@@ Property / cites work @@
+Formalising a value-passing calculus in H0L
@@ Property / cites work: Formalising a value-passing calculus in H0L / rank @@
+Normal rank
@@ Property / cites work @@
+Isabelle/HOL. A proof assistant for higher-order logic
+Normal rank
@@ Property / cites work @@
+A First-Order Syntax for the π-Calculus in Isabelle/HOL using Permutations
+Normal rank
@@ Property / cites work @@
+Q2769442
@@ Property / cites work: Q2769442 / rank @@
+Normal rank
@@ Property / cites work @@
+Two case studies of semantics execution in Maude: CCS and LOTOS
+Normal rank