Ready to preorder: an algebraic and general proof (Q843212): Difference between revisions

@@ Property / author @@
-David de Frutos-Escrig
@@ Property / author: David de Frutos-Escrig / rank @@
-Normal rank
@@ Property / author @@
+David de Frutos-Escrig
@@ Property / author: David de Frutos-Escrig / 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.1016/j.jlap.2008.09.001
+Normal rank
@@ Property / OpenAlex ID @@
+W1967381334
@@ Property / OpenAlex ID: W1967381334 / rank @@
+Normal rank
@@ Property / cites work @@
+A domain equation for bisimulation
@@ Property / cites work: A domain equation for bisimulation / rank @@
+Normal rank
@@ Property / cites work @@
+Nested semantics over finite trees are equationally hard
+Normal rank
@@ Property / cites work @@
+Q2762495
@@ Property / cites work: Q2762495 / rank @@
+Normal rank
@@ Property / cites work @@
+Ready to Preorder: Get Your BCCSP Axiomatization for Free!
+Normal rank
@@ Property / cites work @@
+Q4449168
@@ Property / cites work: Q4449168 / rank @@
+Normal rank
@@ Property / cites work @@
+Bisimulation can't be traced
@@ Property / cites work: Bisimulation can't be traced / rank @@
+Normal rank
@@ Property / cites work @@
+Ready to preorder: the case of weak process semantics
+Normal rank
@@ Property / cites work @@
+CONCUR 2005 – Concurrency Theory
@@ Property / cites work: CONCUR 2005 – Concurrency Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Simulations Up-to and Canonical Preorders
@@ Property / cites work: Simulations Up-to and Canonical Preorders / rank @@
+Normal rank
@@ Property / cites work @@
+Coinductive Characterisations Reveal Nice Relations Between Preorders and Equivalences
+Normal rank
@@ Property / cites work @@
+Foundations of Software Science and Computation Structures
+Normal rank
@@ Property / cites work @@
+Automata, Languages and Programming
@@ Property / cites work: Automata, Languages and Programming / rank @@
+Normal rank
@@ Property / cites work @@
+Q2760238
@@ Property / cites work: Q2760238 / rank @@
+Normal rank
@@ Property / cites work @@
+Bisimulation through probabilistic testing
@@ Property / cites work: Bisimulation through probabilistic testing / rank @@
+Normal rank
@@ Property / cites work @@
+Q3907077
@@ Property / cites work: Q3907077 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:843212