The difference between splitting in \(n\) and \(n+1\) (Q1370654): Difference between revisions

@@ Property / cites work @@
+Towards action-refinement in process algebras
@@ Property / cites work: Towards action-refinement in process algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Adding action refinement to a finite process algebra
+Normal rank
@@ Property / cites work @@
+Constructing two-writer atomic registers
@@ Property / cites work: Constructing two-writer atomic registers / rank @@
+Normal rank
@@ Property / cites work @@
+Q4430315
@@ Property / cites work: Q4430315 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3997397
@@ Property / cites work: Q3997397 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3975146
@@ Property / cites work: Q3975146 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3771632
@@ Property / cites work: Q3771632 / rank @@
+Normal rank
@@ Property / cites work @@
+CONCUR 2003 - Concurrency Theory
@@ Property / cites work: CONCUR 2003 - Concurrency Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Split and ST bisimulation semantics
@@ Property / cites work: Split and ST bisimulation semantics / rank @@
+Normal rank
@@ Property / cites work @@
+Axiomatising Finite Concurrent Processes
@@ Property / cites work: Axiomatising Finite Concurrent Processes / rank @@
+Normal rank
@@ Property / cites work @@
+Q3777424
@@ Property / cites work: Q3777424 / rank @@
+Normal rank
@@ Property / cites work @@
+On interprocess communication. II: Algorithms
@@ Property / cites work: On interprocess communication. II: Algorithms / rank @@
+Normal rank
@@ Property / cites work @@
+Q4733430
@@ Property / cites work: Q4733430 / rank @@
+Normal rank
@@ Property / cites work @@
+Petri nets, event structures and domains. I
@@ Property / cites work: Petri nets, event structures and domains. I / rank @@
+Normal rank
@@ Property / cites work @@
+Nets, Terms and Formulas
@@ Property / cites work: Nets, Terms and Formulas / rank @@
+Normal rank
@@ Property / cites work @@
+Modeling concurrency with partial orders
@@ Property / cites work: Modeling concurrency with partial orders / rank @@
+Normal rank
@@ Property / cites work @@
+Determinism \(\to\) (event structure isomorphism \(=\) step sequence equivalence)
+Normal rank
@@ Property / cites work @@
+Failures semantics based on interval semiwords is a congruence for refinement
+Normal rank
@@ Property / cites work @@
+Bisimulation and action refinement
@@ Property / cites work: Bisimulation and action refinement / rank @@
+Normal rank
@@ Property / cites work @@
+Timed testing of concurrent systems
@@ Property / cites work: Timed testing of concurrent systems / rank @@
+Normal rank
@@ Property / cites work @@
+The limit of split\(_ n\)-language equivalence
@@ Property / cites work: The limit of split\(_ n\)-language equivalence / rank @@
+Normal rank
@@ Property / cites work @@
+Q3030239
@@ Property / cites work: Q3030239 / rank @@
+Normal rank