Systems specification by basic protocols (Q2508786): Difference between revisions

@@ Property / cites work @@
+Q4413769
@@ Property / cites work: Q4413769 / rank @@
+Normal rank
@@ Property / cites work @@
+Computations in APS
@@ Property / cites work: Computations in APS / rank @@
+Normal rank
@@ Property / cites work @@
+Insertion programming
@@ Property / cites work: Insertion programming / rank @@
+Normal rank
@@ Property / cites work @@
+Basic protocols, message sequence charts, and the verification of requirements specifications
+Normal rank
@@ Property / cites work @@
+Q3777424
@@ Property / cites work: Q3777424 / rank @@
+Normal rank
@@ Property / cites work @@
+Process algebra for synchronous communication
@@ Property / cites work: Process algebra for synchronous communication / rank @@
+Normal rank
@@ Property / cites work @@
+Q2746874
@@ Property / cites work: Q2746874 / rank @@
+Normal rank