Concurrent testing of processes (Q1902297): Difference between revisions

@@ Property / cites work @@
+Q2736337
@@ Property / cites work: Q2736337 / rank @@
+Normal rank
@@ Property / cites work @@
+Adding action refinement to a finite process algebra
+Normal rank
@@ Property / cites work @@
+Termination, deadlock, and divergence
@@ Property / cites work: Termination, deadlock, and divergence / rank @@
+Normal rank
@@ Property / cites work @@
+Towards action-refinement in process algebras
@@ Property / cites work: Towards action-refinement in process algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Q4733397
@@ Property / cites work: Q4733397 / rank @@
+Normal rank
@@ Property / cites work @@
+Observing localities
@@ Property / cites work: Observing localities / rank @@
+Normal rank
@@ Property / cites work @@
+Q5750408
@@ Property / cites work: Q5750408 / rank @@
+Normal rank
@@ Property / cites work @@
+Refinement of actions in event structures and causal trees
+Normal rank
@@ Property / cites work @@
+Testing equivalences for processes
@@ Property / cites work: Testing equivalences for processes / rank @@
+Normal rank
@@ Property / cites work @@
+A partial ordering semantics for CCS
@@ Property / cites work: A partial ordering semantics for CCS / rank @@
+Normal rank
@@ Property / cites work @@
+Q3997501
@@ Property / cites work: Q3997501 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3992568
@@ Property / cites work: Q3992568 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4040912
@@ Property / cites work: Q4040912 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3753474
@@ Property / cites work: Q3753474 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3771632
@@ Property / cites work: Q3771632 / rank @@
+Normal rank
@@ Property / cites work @@
+The difference between splitting in \(n\) and \(n+1\)
+Normal rank
@@ Property / cites work @@
+Q4035680
@@ Property / cites work: Q4035680 / rank @@
+Normal rank
@@ Property / cites work @@
+Failures semantics based on interval semiwords is a congruence for refinement
+Normal rank