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

@@ Property / describes a project that uses @@
+UNITY
@@ Property / describes a project that uses: UNITY / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-319-17581-2_6
+Normal rank
@@ Property / OpenAlex ID @@
+W1197491111
@@ Property / OpenAlex ID: W1197491111 / rank @@
+Normal rank
@@ 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