equal
deleted
inserted
replaced
270 exception is the <A HREF="https://www.springer.com/gp/book/9781461406754">textbook</A> |
270 exception is the <A HREF="https://www.springer.com/gp/book/9781461406754">textbook</A> |
271 by Buttazzo, who gives the correct specification. Unfortunately, his work did not |
271 by Buttazzo, who gives the correct specification. Unfortunately, his work did not |
272 help us with proving the correctness of the priority inheritance protocol. |
272 help us with proving the correctness of the priority inheritance protocol. |
273 |
273 |
274 This is joint work with Prof. Xingyuan Zhang and his student Chunhan Wu from the |
274 This is joint work with Prof. Xingyuan Zhang and his student Chunhan Wu from the |
275 <A HREF="http://www.ust.com.cn/">PLA University of Science and Technology</A> in Nanjing. |
275 PLA University of Science and Technology in Nanjing. |
276 </TD> |
276 </TD> |
277 </TR> |
277 </TR> |
278 |
278 |
279 <TR> |
279 <TR> |
280 <TD BGCOLOR="#FFFFFF" WIDTH="75%"> |
280 <TD BGCOLOR="#FFFFFF" WIDTH="75%"> |
300 should be better known. We also answered a |
300 should be better known. We also answered a |
301 <A HREF="http://blog.computationalcomplexity.org/2013/02/proving-dfa-langs-closed-under-concat.html">question</A> from the same blog about |
301 <A HREF="http://blog.computationalcomplexity.org/2013/02/proving-dfa-langs-closed-under-concat.html">question</A> from the same blog about |
302 "proving Reg-exp-langs [being] closed under complementation without using equiv to DFA's"....yes we can! |
302 "proving Reg-exp-langs [being] closed under complementation without using equiv to DFA's"....yes we can! |
303 This is joint work with Prof. Xingyuan |
303 This is joint work with Prof. Xingyuan |
304 Zhang and his student Chunhan Wu from the |
304 Zhang and his student Chunhan Wu from the |
305 <A HREF="http://www.ust.com.cn/">PLA University of Science and Technology</A> in Nanjing. |
305 PLA University of Science and Technology in Nanjing. |
306 My funding for this work came from the |
306 My funding for this work came from the |
307 <A HREF="http://sinogermanscience.dfg.nsfc.cn/de/index.html">Chinese-German Research Centre</A>. |
307 <A HREF="http://sinogermanscience.dfg.nsfc.cn/de/index.html">Chinese-German Research Centre</A>. |
308 </TD> |
308 </TD> |
309 </TR> |
309 </TR> |
310 |
310 |