Specification and analysis of a data transfer protocol using systems of communicating machines (Q808228): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Spanner: A Tool for the Specification, Analysis, and Evaluation of Protocols
+Normal rank
@@ Property / cites work @@
+Q4138075
@@ Property / cites work: Q4138075 / rank @@
+Normal rank
@@ Property / cites work @@
+Protocol analysis and synthesis by structured partitions
+Normal rank
@@ Property / cites work @@
+Q3992423
@@ Property / cites work: Q3992423 / rank @@
+Normal rank
@@ Property / cites work @@
+Communicating sequential processes
@@ Property / cites work: Communicating sequential processes / rank @@
+Normal rank
@@ Property / cites work @@
+Protocol Verification via Projections
@@ Property / cites work: Protocol Verification via Projections / rank @@
+Normal rank
@@ Property / cites work @@
+Formal verification of parallel programs
@@ Property / cites work: Formal verification of parallel programs / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:808228