Page history
16 October 2019
12 July 2019
9 June 2019
3 June 2019
→Pseudocode
+12
→Pseudocode
+26
→Pseudocode
+26
→Pseudocode
+2
→Pseudocode
−108
→Further Information
+122
→Further Information
+84
→Subroutine: MDI-KGP(Seller, Receiver R, Arbitrator,i)
+1
→Subroutine: MDI-KGP(Seller, Receiver R, Arbitrator,i)
+13
→Pseudocode
+120
→Subroutine: MDI-KGP(Seller, Receiver R, Arbitrator,i)
+34
→Pseudocode
+271
→Subroutine: MDI-KGP(Seller, Receiver R, Arbitrator,i)
+1
→Subroutine: MDI-KGP(Seller, Receiver R, Arbitrator,i)
→Pseudocode
+58
→Pseudocode
+85
→Pseudocode
+849
→Pseudocode
+167
→Pseudocode
+159
→Pseudocode
+41
no edit summary
−313
→Subroutine: MGI-KGP
+5
no edit summary
+84
→Subroutines
−62
→Subroutines
+42
→Subroutines
+45
→Pseudocode
+286
→Pseudocode
+26
→Pseudocode
+1,740
no edit summary
+1,257
→Properties
+46
→Requirements
−48
→Assumptions
−4
→Outline
+18
→Assumptions
→Assumptions
+130
→Outline
+29
→Outline
+6
→Outline
+13
→Outline
+357
→Assumptions
+60
→Outline
+564
no edit summary
+102
no edit summary
−2
→Outline
−51
no edit summary
−49
→Outline
−43