Is observational congruence on \(\mu \)-expressions axiomatisable in equational Horn logic? (Q979076): Difference between revisions

@@ Property / cites work @@
+On the Axiomatizability of Priority
@@ Property / cites work: On the Axiomatizability of Priority / rank @@
+Normal rank
@@ Property / cites work @@
+CCS with Hennessy's merge has no finite-equational axiomatization
+Normal rank
@@ Property / cites work @@
+Impossibility Results for the Equational Theory of Timed CCS
+Normal rank
@@ Property / cites work @@
+A complete axiomatization of timed bisimulation for a class of timed regular behaviours
+Normal rank
@@ Property / cites work @@
+Axiomatizing prefix iteration with silent steps
@@ Property / cites work: Axiomatizing prefix iteration with silent steps / rank @@
+Normal rank
@@ Property / cites work @@
+Process algebra with timing
@@ Property / cites work: Process algebra with timing / rank @@
+Normal rank
@@ Property / cites work @@
+Q3727367
@@ Property / cites work: Q3727367 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3792231
@@ Property / cites work: Q3792231 / rank @@
+Normal rank
@@ Property / cites work @@
+ITERATION ALGEBRAS
@@ Property / cites work: ITERATION ALGEBRAS / rank @@
+Normal rank
@@ Property / cites work @@
+Q5287508
@@ Property / cites work: Q5287508 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4508392
@@ Property / cites work: Q4508392 / rank @@
+Normal rank
@@ Property / cites work @@
+On Finite Alphabets and Infinite Bases III: Simulation
+Normal rank
@@ Property / cites work @@
+Q5639639
@@ Property / cites work: Q5639639 / rank @@
+Normal rank
@@ Property / cites work @@
+An Equational Axiomatization of Bisimulation over Regular Expressions
+Normal rank
@@ Property / cites work @@
+Completeness of Park induction
@@ Property / cites work: Completeness of Park induction / rank @@
+Normal rank
@@ Property / cites work @@
+Q2753681
@@ Property / cites work: Q2753681 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4737893
@@ Property / cites work: Q4737893 / rank @@
+Normal rank
@@ Property / cites work @@
+A complete equational axiomatization for prefix iteration
+Normal rank
@@ Property / cites work @@
+Q4375630
@@ Property / cites work: Q4375630 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3777424
@@ Property / cites work: Q3777424 / rank @@
+Normal rank
@@ Property / cites work @@
+A fully abstract denotational model for observational precongruence
+Normal rank
@@ Property / cites work @@
+A completeness theorem for Kleene algebras and the algebra of regular events
+Normal rank
@@ Property / cites work @@
+A complete inference system for a class of regular behaviours
+Normal rank
@@ Property / cites work @@
+Q3992568
@@ Property / cites work: Q3992568 / rank @@
+Normal rank
@@ Property / cites work @@
+A complete axiomatisation for observational congruence of finite-state behaviours
+Normal rank
@@ Property / cites work @@
+Higher-order Horn clauses
@@ Property / cites work: Higher-order Horn clauses / rank @@
+Normal rank
@@ Property / cites work @@
+Two Complete Axiom Systems for the Algebra of Regular Events
+Normal rank
@@ Property / cites work @@
+Nonaxiomatisability of equivalences over finite state processes
+Normal rank