Deciding observational congruence of finite-state CCS expressions by rewriting (Q673974): Difference between revisions

@@ Property / cites work @@
+Q3792231
@@ Property / cites work: Q3792231 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4772711
@@ Property / cites work: Q4772711 / rank @@
+Normal rank
@@ Property / cites work @@
+Testing equivalences for processes
@@ Property / cites work: Testing equivalences for processes / rank @@
+Normal rank
@@ Property / cites work @@
+Q4385532
@@ Property / cites work: Q4385532 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3970984
@@ Property / cites work: Q3970984 / rank @@
+Normal rank
@@ Property / cites work @@
+Rewrite, rewrite, rewrite, rewrite, rewrite, \dots
+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 @@
+Q3490967
@@ Property / cites work: Q3490967 / rank @@
+Normal rank
@@ Property / cites work @@
+A rewriting strategy to verify observational congruence
+Normal rank
@@ Property / cites work @@
+Q4035244
@@ Property / cites work: Q4035244 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4005177
@@ Property / cites work: Q4005177 / rank @@
+Normal rank
@@ Property / cites work @@
+Conditional rewriting logic as a unified model of concurrency
+Normal rank
@@ Property / cites work @@
+A calculus of communicating systems
@@ Property / cites work: A calculus of communicating systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q3750114
@@ Property / cites work: Q3750114 / rank @@
+Normal rank
@@ Property / cites work @@
+A complete axiomatisation for observational congruence of finite-state behaviours
+Normal rank
@@ Property / cites work @@
+Q3992568
@@ Property / cites work: Q3992568 / rank @@
+Normal rank
@@ Property / cites work @@
+A note on the notation of recursion in process algebras
+Normal rank
@@ Property / cites work @@
+Branching time and abstraction in bisimulation semantics
+Normal rank