Probabilistic verification of communication protocols (Q916356): Difference between revisions

@@ Property / cites work @@
+Closed Covers: To Verify Progress for Communicating Finite State Machines
+Normal rank
@@ Property / cites work @@
+Communicating sequential processes
@@ Property / cites work: Communicating sequential processes / rank @@
+Normal rank
@@ Property / cites work @@
+Fast Sequential Decoding Algorithm Using a Stack
@@ Property / cites work: Fast Sequential Decoding Algorithm Using a Stack / rank @@
+Normal rank
@@ Property / cites work @@
+Protocol Verification via Projections
@@ Property / cites work: Protocol Verification via Projections / rank @@
+Normal rank
@@ Property / cites work @@
+Testing and generating infinite sequences by a finite automaton
+Normal rank
@@ Property / cites work @@
+Verification of multiprocess probabilistic protocols
+Normal rank
@@ Property / cites work @@
+An algorithmic technique for protocol verification
+Normal rank
@@ Property / cites work @@
+Verification of a multidestination selective repeat procedure
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/bf01784022
+Normal rank
@@ Property / OpenAlex ID @@
+W1546325561
@@ Property / OpenAlex ID: W1546325561 / rank @@
+Normal rank