A Normalized Form for FIFO Protocols Traces, Application to the Replay of Mode-based Protocols (Q3460215): Difference between revisions

@@ Property / cites work @@
+Q4289659
@@ Property / cites work: Q4289659 / rank @@
+Normal rank
@@ Property / cites work @@
+Deciding choreography realizability
@@ Property / cites work: Deciding choreography realizability / rank @@
+Normal rank
@@ Property / cites work @@
+Permutation rewriting and algorithmic verification
+Normal rank
@@ Property / cites work @@
+On Communicating Finite-State Machines
@@ Property / cites work: On Communicating Finite-State Machines / rank @@
+Normal rank
@@ Property / cites work @@
+Q4692502
@@ Property / cites work: Q4692502 / rank @@
+Normal rank
@@ Property / cites work @@
+Semi-commutations
@@ Property / cites work: Semi-commutations / rank @@
+Normal rank
@@ Property / cites work @@
+Termination detection for diffusing computations
@@ Property / cites work: Termination detection for diffusing computations / rank @@
+Normal rank
@@ Property / cites work @@
+Q2865941
@@ Property / cites work: Q2865941 / rank @@
+Normal rank
@@ Property / cites work @@
+Communication-based prevention of useless checkpoints in distributed computations
+Normal rank
@@ Property / cites work @@
+Time, clocks, and the ordering of events in a distributed system
+Normal rank
@@ Property / cites work @@
+A brief account of runtime verification
@@ Property / cites work: A brief account of runtime verification / rank @@
+Normal rank
@@ Property / cites work @@
+Q3126969
@@ Property / cites work: Q3126969 / rank @@
+Normal rank