The Equational Theory of Weak Complete Simulation Semantics over BCCSP (Q2891363): Difference between revisions

@@ Property / cites work @@
+Turning SOS rules into equations
@@ Property / cites work: Turning SOS rules into equations / rank @@
+Normal rank
@@ Property / cites work @@
+Axiomatizing Weak Ready Simulation Semantics over BCCSP
+Normal rank
@@ Property / cites work @@
+Processes, Terms and Cycles: Steps on the Road to Infinity
+Normal rank
@@ Property / cites work @@
+Lifting non-finite axiomatizability results to extensions of process algebras
+Normal rank
@@ Property / cites work @@
+Q3404131
@@ Property / cites work: Q3404131 / rank @@
+Normal rank
@@ Property / cites work @@
+Axiomatizing GSOS with termination
@@ Property / cites work: Axiomatizing GSOS with termination / 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 @@
+Bisimulation can't be traced
@@ Property / cites work: Bisimulation can't be traced / rank @@
+Normal rank
@@ Property / cites work @@
+On the Axiomatizability of Impossible Futures
@@ Property / cites work: On the Axiomatizability of Impossible Futures / rank @@
+Normal rank
@@ Property / cites work @@
+On finite alphabets and infinite bases
@@ Property / cites work: On finite alphabets and infinite bases / rank @@
+Normal rank
@@ Property / cites work @@
+On the Unification of Process Semantics: Equational Semantics
+Normal rank
@@ Property / cites work @@
+Q2760238
@@ Property / cites work: Q2760238 / 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 @@
+Q3777424
@@ Property / cites work: Q3777424 / rank @@
+Normal rank
@@ Property / cites work @@
+Bisimulation through probabilistic testing
@@ Property / cites work: Bisimulation through probabilistic testing / rank @@
+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 @@
+The origins of structural operational semantics
@@ Property / cites work: The origins of structural operational semantics / rank @@
+Normal rank