equal
deleted
inserted
replaced
1158 Author: Tobias Nipkow & Konrad Slind |
1158 Author: Tobias Nipkow & Konrad Slind |
1159 |
1159 |
1160 A network transmission protocol, performed in the |
1160 A network transmission protocol, performed in the |
1161 I/O automata formalization by Olaf Mueller. |
1161 I/O automata formalization by Olaf Mueller. |
1162 " |
1162 " |
1163 theories Correctness |
1163 theories |
|
1164 Overview |
|
1165 Correctness |
1164 |
1166 |
1165 session "IOA-Storage" in "HOLCF/IOA/Storage" = IOA + |
1167 session "IOA-Storage" in "HOLCF/IOA/Storage" = IOA + |
1166 description " |
1168 description " |
1167 Author: Olaf Mueller |
1169 Author: Olaf Mueller |
1168 |
1170 |