On process equivalence = equation solving in CCS (Q839034): Difference between revisions

@@ Property / cites work @@
+Algebra of communicating processes with abstraction
+Normal rank
@@ Property / cites work @@
+Q3804239
@@ Property / cites work: Q3804239 / rank @@
+Normal rank
@@ Property / cites work @@
+Rippling: A heuristic for guiding inductive proofs
+Normal rank
@@ Property / cites work @@
+Experiments with proof plans for induction
@@ Property / cites work: Experiments with proof plans for induction / rank @@
+Normal rank
@@ Property / cites work @@
+Q3490990
@@ Property / cites work: Q3490990 / rank @@
+Normal rank
@@ Property / cites work @@
+Type theory and concurrency
@@ Property / cites work: Type theory and concurrency / rank @@
+Normal rank
@@ Property / cites work @@
+Q3743300
@@ Property / cites work: Q3743300 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4312484
@@ Property / cites work: Q4312484 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2760254
@@ Property / cites work: Q2760254 / rank @@
+Normal rank
@@ Property / cites work @@
+Focus points and convergent process operators: A proof strategy for protocol verification
+Normal rank
@@ Property / cites work @@
+Symbolic bisimulations
@@ Property / cites work: Symbolic bisimulations / rank @@
+Normal rank
@@ Property / cites work @@
+Q4490726
@@ Property / cites work: Q4490726 / rank @@
+Normal rank
@@ Property / cites work @@
+A structural induction theorem for processes
@@ Property / cites work: A structural induction theorem for processes / rank @@
+Normal rank
@@ Property / cites work @@
+Q3992568
@@ Property / cites work: Q3992568 / rank @@
+Normal rank
@@ Property / cites work @@
+Modal logics for mobile processes
@@ Property / cites work: Modal logics for mobile processes / rank @@
+Normal rank
@@ Property / cites work @@
+Planning proofs of equations in CCS
@@ Property / cites work: Planning proofs of equations in CCS / rank @@
+Normal rank
@@ Property / cites work @@
+Formalising a value-passing calculus in H0L
@@ Property / cites work: Formalising a value-passing calculus in H0L / rank @@
+Normal rank