CCS expressions, finite state processes, and three problems of equivalence (Q918211): Difference between revisions

@@ Property / cites work @@
+Q4091421
@@ Property / cites work: Q4091421 / rank @@
+Normal rank
@@ Property / cites work @@
+Bisimulation of automata
@@ Property / cites work: Bisimulation of automata / rank @@
+Normal rank
@@ Property / cites work @@
+Q3742698
@@ Property / cites work: Q3742698 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3664417
@@ Property / cites work: Q3664417 / rank @@
+Normal rank
@@ Property / cites work @@
+A Theory of Communicating Sequential Processes
@@ Property / cites work: A Theory of Communicating Sequential Processes / rank @@
+Normal rank
@@ Property / cites work @@
+Q3321470
@@ Property / cites work: Q3321470 / rank @@
+Normal rank
@@ Property / cites work @@
+Acceptance trees
@@ Property / cites work: Acceptance trees / 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 @@
+Q4045961
@@ Property / cites work: Q4045961 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3862379
@@ Property / cites work: Q3862379 / rank @@
+Normal rank
@@ Property / cites work @@
+On the analysis of cooperation and antagonism in networks of communicating processes
+Normal rank
@@ Property / cites work @@
+A calculus of communicating systems
@@ Property / cites work: A calculus of communicating systems / rank @@
+Normal rank
@@ Property / cites work @@
+Calculi for synchrony and asynchrony
@@ Property / cites work: Calculi for synchrony and asynchrony / rank @@
+Normal rank
@@ Property / cites work @@
+A complete inference system for a class of regular behaviours
+Normal rank
@@ Property / cites work @@
+Testing equivalences for processes
@@ Property / cites work: Testing equivalences for processes / rank @@
+Normal rank
@@ Property / cites work @@
+Three Partition Refinement Algorithms
@@ Property / cites work: Three Partition Refinement Algorithms / rank @@
+Normal rank
@@ Property / cites work @@
+Two Complete Axiom Systems for the Algebra of Regular Events
+Normal rank
@@ Property / cites work @@
+Q4131648
@@ Property / cites work: Q4131648 / rank @@
+Normal rank