equal
deleted
inserted
replaced
39 |
39 |
40 \title{A Formalisation of Priority Inheritance Protocol \\ |
40 \title{A Formalisation of Priority Inheritance Protocol \\ |
41 for Correct and Efficient Implementation} |
41 for Correct and Efficient Implementation} |
42 \author{Xingyuan Zhang\inst{1} \and Christian Urban\inst{2} \and Chunhan Wu\inst{1}} |
42 \author{Xingyuan Zhang\inst{1} \and Christian Urban\inst{2} \and Chunhan Wu\inst{1}} |
43 \institute{PLA University of Science and Technology, China \and |
43 \institute{PLA University of Science and Technology, China \and |
44 King's College, University of London, U.K.} |
44 King's College London, U.K.} |
45 \maketitle |
45 \maketitle |
46 |
46 |
47 %\mbox{}\\[-10mm] |
47 %\mbox{}\\[-10mm] |
48 \begin{abstract} |
48 \begin{abstract} |
49 Despite the wide use of Priority Inheritance Protocol in real time operating |
49 Despite the wide use of Priority Inheritance Protocol in real time operating |