情報科学研究科講演会
IMI COE 第２４回講演会 |
| 日時：12月14日(水) 1:30pm - 2:30pm |
| 場所：IB014講義室 |
| 講演者： |
| Dr. Irek Ulidowski
(Dept. of Computer Science, University of Leicester/IT center,Nagoya
University)
|
| タイトル： |
| Operational Semantics of Reversibility in Process Algebra. |
| 概要： |
| Reversible computation has a growing number of promising application
areas such as the modelling of biochemical systems, program debugging and
testing, and even programming languages for quantum computing. We discuss
reversibility in major process algebras from the point of view of operational
semantics. The main difficulty seems to be with the definitions of forward
and reverse computation for the dynamic operators. We consider several solutions
where predicates in SOS rules play a vital role. We then assess their suitability
and investigate their impact on the resulting theory, including process
equivalences and formats of SOS rules. |
| 連絡先： |
| 情報システム学専攻 結縁(内線３６４９) yuen-at-is.nagoya-u.ac.jp |