Lifting non-finite axiomatizability results to extensions of process algebras (Q969643): Difference between revisions

@@ Property / cites work @@
+A domain equation for bisimulation
@@ Property / cites work: A domain equation for bisimulation / rank @@
+Normal rank
@@ Property / cites work @@
+On the Axiomatizability of Priority
@@ Property / cites work: On the Axiomatizability of Priority / rank @@
+Normal rank
@@ Property / cites work @@
+Ready to Preorder: Get Your BCCSP Axiomatization for Free!
+Normal rank
@@ Property / cites work @@
+CCS with Hennessy's merge has no finite-equational axiomatization
+Normal rank
@@ Property / cites work @@
+Processes, Terms and Cycles: Steps on the Road to Infinity
+Normal rank
@@ Property / cites work @@
+Bisimilarity is not finitely based over BPA with interrupt
+Normal rank
@@ Property / cites work @@
+Termination, deadlock, and divergence
@@ Property / cites work: Termination, deadlock, and divergence / rank @@
+Normal rank
@@ Property / cites work @@
+CPO models for compact GSOS languages
@@ Property / cites work: CPO models for compact GSOS languages / rank @@
+Normal rank
@@ Property / cites work @@
+Impossibility Results for the Equational Theory of Timed CCS
+Normal rank
@@ Property / cites work @@
+Q2760240
@@ Property / cites work: Q2760240 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4790410
@@ Property / cites work: Q4790410 / rank @@
+Normal rank
@@ Property / cites work @@
+Process Algebra
@@ Property / cites work: Process Algebra / rank @@
+Normal rank
@@ Property / cites work @@
+Process algebra for synchronous communication
@@ Property / cites work: Process algebra for synchronous communication / rank @@
+Normal rank
@@ Property / cites work @@
+Q4551157
@@ Property / cites work: Q4551157 / rank @@
+Normal rank
@@ Property / cites work @@
+Ready to preorder: the case of weak process semantics
+Normal rank
@@ Property / cites work @@
+Ready to preorder: an algebraic and general proof
@@ Property / cites work: Ready to preorder: an algebraic and general proof / rank @@
+Normal rank
@@ Property / cites work @@
+Nonfinite axiomatizability of the equational theory of shuffle
+Normal rank
@@ Property / cites work @@
+A conservative look at operational semantics with variable binding
+Normal rank
@@ Property / cites work @@
+Q3614665
@@ Property / cites work: Q3614665 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4288818
@@ Property / cites work: Q4288818 / rank @@
+Normal rank
@@ Property / cites work @@
+A term model for synchronous processes
@@ Property / cites work: A term model for synchronous processes / rank @@
+Normal rank
@@ Property / cites work @@
+Q4223008
@@ Property / cites work: Q4223008 / rank @@
+Normal rank
@@ Property / cites work @@
+Interactive Markov chains. And the quest for quantified quality
+Normal rank
@@ Property / cites work @@
+Q3777424
@@ Property / cites work: Q3777424 / rank @@
+Normal rank
@@ Property / cites work @@
+Bisimulation on speed: Worst-case efficiency
@@ Property / cites work: Bisimulation on speed: Worst-case efficiency / rank @@
+Normal rank
@@ Property / cites work @@
+Foundations of Software Science and Computation Structures
+Normal rank
@@ Property / cites work @@
+Bisimulation on speed: a unified approach
@@ Property / cites work: Bisimulation on speed: a unified approach / rank @@
+Normal rank
@@ Property / cites work @@
+Q3929062
@@ Property / cites work: Q3929062 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3992568
@@ Property / cites work: Q3992568 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4038732
@@ Property / cites work: Q4038732 / rank @@
+Normal rank
@@ Property / cites work @@
+Automata, Languages and Programming
@@ Property / cites work: Automata, Languages and Programming / rank @@
+Normal rank
@@ Property / cites work @@
+The algebra of timed processes, ATP: Theory and application
+Normal rank
@@ Property / cites work @@
+A structural approach to operational semantics
@@ Property / cites work: A structural approach to operational semantics / rank @@
+Normal rank
@@ Property / cites work @@
+Q3392273
@@ Property / cites work: Q3392273 / rank @@
+Normal rank