Axiomatizing Lüttgen \& Vogler's ready simulation for finite processes in \(\mathrm{CLL}_{R}\) (Q893593): Difference between revisions

@@ Property / arXiv ID @@
+.03636
@@ Property / arXiv ID: 1502.03636 / rank @@
+Normal rank
@@ Property / cites work @@
+Axiomatizing weak simulation semantics over BCCSP
@@ Property / cites work: Axiomatizing weak simulation semantics over BCCSP / rank @@
+Normal rank
@@ Property / cites work @@
+A ground-complete axiomatisation of finite-state processes in a generic process algebra
+Normal rank
@@ Property / cites work @@
+Q5331549
@@ Property / cites work: Q5331549 / 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 @@
+The meaning of negative premises in transition system specifications
+Normal rank
@@ Property / cites work @@
+Q3702497
@@ Property / cites work: Q3702497 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4472454
@@ Property / cites work: Q4472454 / rank @@
+Normal rank
@@ Property / cites work @@
+A Logical Process Calculus
@@ Property / cites work: A Logical Process Calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Q2760238
@@ Property / cites work: Q2760238 / rank @@
+Normal rank
@@ Property / cites work @@
+A logic for the description of non-deterministic programs and their properties
+Normal rank
@@ Property / cites work @@
+Q3794154
@@ Property / cites work: Q3794154 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3997501
@@ Property / cites work: Q3997501 / 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 @@
+Complete inference systems for weak bisimulation equivalences in the \(\pi\)-calculus.
+Normal rank
@@ Property / cites work @@
+Conjunction on processes: Full abstraction via ready-tree semantics
+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 @@
+Safe reasoning with logic LTS
@@ Property / cites work: Safe reasoning with logic LTS / 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 @@
+Nets, Terms and Formulas
@@ Property / cites work: Nets, Terms and Formulas / rank @@
+Normal rank
@@ Property / cites work @@
+Software reliability methods. Foreword by Edmund M. Clarke
+Normal rank
@@ Property / cites work @@
+On recursive operations over logic LTS
@@ Property / cites work: On recursive operations over logic LTS / rank @@
+Normal rank