Axiomatizing Weak Ready Simulation Semantics over BCCSP (Q3105742): 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 @@
+Complete and ready simulation semantics are not finitely based over BCCSP, even with a singleton alphabet
+Normal rank
@@ Property / cites work @@
+Ready to Preorder: Get Your BCCSP Axiomatization for Free!
+Normal rank
@@ Property / cites work @@
+Processes, Terms and Cycles: Steps on the Road to Infinity
+Normal rank
@@ Property / cites work @@
+A finite equational base for CCS with left merge and communication merge
+Normal rank
@@ Property / cites work @@
+Lifting non-finite axiomatizability results to extensions of process algebras
+Normal rank
@@ Property / cites work @@
+Termination, deadlock, and divergence
@@ Property / cites work: Termination, deadlock, and divergence / rank @@
+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 finite alphabets and infinite bases
@@ Property / cites work: On finite alphabets and infinite bases / rank @@
+Normal rank
@@ Property / cites work @@
+Ready to preorder: the case of weak process semantics
+Normal rank
@@ Property / cites work @@
+On the Unification of Process Semantics: Equational Semantics
+Normal rank
@@ Property / cites work @@
+(Bi)simulations up-to characterise 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 @@
+Testing equivalences for processes
@@ Property / cites work: Testing equivalences for processes / rank @@
+Normal rank
@@ Property / cites work @@
+Q2760238
@@ Property / cites work: Q2760238 / rank @@
+Normal rank
@@ Property / cites work @@
+Branching time and abstraction in bisimulation semantics
+Normal rank
@@ Property / cites work @@
+Processes, Terms and Cycles: Steps on the Road to Infinity
+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 @@
+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 @@
+Ready simulation for concurrency: it's logical!
@@ Property / cites work: Ready simulation for concurrency: it's logical! / 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 @@
+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
@@ Property / cites work @@
+Refusal Simulation and Interactive Games
@@ Property / cites work: Refusal Simulation and Interactive Games / rank @@
+Normal rank
@@ Property / cites work @@
+Impossible futures and determinism
@@ Property / cites work: Impossible futures and determinism / rank @@
+Normal rank
@@ Property / cites work @@
+Bisimulation and divergence
@@ Property / cites work: Bisimulation and divergence / rank @@
+Normal rank