Computing race variants in message-passing concurrent programming with selective receives (Q2165226): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W4293196910
@@ Property / OpenAlex ID: W4293196910 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.03026
@@ Property / arXiv ID: 2210.03026 / rank @@
+Normal rank
@@ Property / cites work @@
+Source Sets
@@ Property / cites work: Source Sets / rank @@
+Normal rank
@@ Property / cites work @@
+Optimal dynamic partial order reduction with observers
+Normal rank
@@ Property / cites work @@
+Automatic verification of finite-state concurrent systems using temporal logic specifications
+Normal rank
@@ Property / cites work @@
+Dynamic partial-order reduction for model checking software
+Normal rank
@@ Property / cites work @@
+Prefix-based tracing in message-passing concurrency
+Normal rank
@@ Property / cites work @@
+Time, clocks, and the ordering of events in a distributed system
+Normal rank
@@ Property / cites work @@
+A theory of reversibility for Erlang
@@ Property / cites work: A theory of reversibility for Erlang / rank @@
+Normal rank
@@ Property / cites work @@
+Causal-consistent replay debugging for message passing programs
+Normal rank
@@ Property / cites work @@
+Causal-Consistent Replay Reversible Semantics for Message Passing Concurrent Programs
+Normal rank
@@ Property / cites work @@
+Q3771629
@@ Property / cites work: Q3771629 / rank @@
+Normal rank