エントリーの編集
エントリーの編集は全ユーザーに共通の機能です。
必ずガイドラインを一読の上ご利用ください。
Prakash Panangaden's Home Page
記事へのコメント0件
- 注目コメント
- 新着コメント
このエントリーにコメントしてみましょう。
注目コメント算出アルゴリズムの一部にLINEヤフー株式会社の「建設的コメント順位付けモデルAPI」を使用しています
- バナー広告なし
- ミュート機能あり
- ダークモード搭載
関連記事
Prakash Panangaden's Home Page
I am retiring at the end of August 2024. I will not take any new students, post-docs or interns f... I am retiring at the end of August 2024. I will not take any new students, post-docs or interns from now on. I was selected as the 2021 Milner Lecturer at the University of Edinburgh. The slides are here. My co-authors, Richard Blute, Josee Desharnais, Abbas Edalat and I won the 2017 Test-of-Time Award from LICS for our 1997 paper on bisimulation for Labelled Markov processes. My co-authors Josee