equal
deleted
inserted
replaced
1 <!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN" |
1 <!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN" |
2 "http://www.w3.org/TR/REC-html40/loose.dtd"> |
2 "http://www.w3.org/TR/REC-html40/loose.dtd"> |
3 <HEAD> |
3 <HEAD> |
4 <TITLE>Priority Inversion Protocol</TITLE> |
4 <TITLE>Priority Inversion Protocol</TITLE> |
5 <BASE HREF="http://www.dcs.kcl.ac.uk/staff/urbanc/"> |
5 <BASE HREF="https://nms.kcl.ac.uk/christian.urban"> |
6 </HEAD> |
6 </HEAD> |
7 |
7 |
8 <BODY TEXT="#000000" |
8 <BODY TEXT="#000000" |
9 BGCOLOR="#4169E1" |
9 BGCOLOR="#4169E1" |
10 LINK="#0000EF" |
10 LINK="#0000EF" |
43 were criticised as too inefficient. Our formalisation is based on |
43 were criticised as too inefficient. Our formalisation is based on |
44 Paulson's inductive approach to verifying protocols. |
44 Paulson's inductive approach to verifying protocols. |
45 <BR><BR> |
45 <BR><BR> |
46 |
46 |
47 The source code can be downloaded |
47 The source code can be downloaded |
48 <A HREF="http://talisker.inf.kcl.ac.uk/~urbanc/cgi-bin/repos.cgi/pip/">here</A>. |
48 <A HREF="http://talisker.inf.kcl.ac.uk/cgi-bin/repos.cgi/pip/">here</A>. |
49 <BR><BR><BR><BR> |
49 <BR><BR><BR><BR> |
50 |
50 |
51 </TABLE> |
51 </TABLE> |
52 <P> |
52 <P> |
53 <!-- Created: Tue Mar 4 00:23:25 GMT 1997 --> |
53 <!-- Created: Tue Mar 4 00:23:25 GMT 1997 --> |
54 <!-- hhmts start --> Last modified: Thu May 5 10:20:23 BST 2016 <!-- hhmts end --> |
54 <!-- hhmts start --> Last modified: Thu May 5 10:20:23 BST 2016 <!-- hhmts end --> |
55 <a href="http://validator.w3.org/check/referer">[Validate this page.]</a> |
55 <a href="https://validator.w3.org/check/referer">[Validate this page.]</a> |
56 </BODY> |
56 </BODY> |
57 </HTML> |
57 </HTML> |