| Presentation | 2018-07-18 Reversible Communicating Systems with Time Satoru Yamamoto, Shoji Yuen, |
|---|---|
| PDF Download Page |  PDF download Page Link |
| Abstract(in Japanese) | (See Japanese page) |
| Abstract(in English) | In this research, we propose a timed extension of RCCS, called Timed RCCS, equipped with forward and backward discrete time transitions as a model for efficient reversible debugging of concurrent realtime systems. We present the syntax and semantics of Timed RCCS and show the algebraic basic behavioural properties. Furthermore, we show an example the illustrate a debugging method based on Timed RCCS. |
| Keyword(in Japanese) | (See Japanese page) |
| Keyword(in English) | Reversibility / Discrete time transitions / Process calculus |
| Paper # | SS2018-5,KBSE2018-15 |
| Date of Issue | 2018-07-11 (SS, KBSE) |
| Conference Information | |
| Committee | KBSE / SS / IPSJ-SE |
|---|---|
| Conference Date | 2018/7/18(3days) |
| Place (in Japanese) | (See Japanese page) |
| Place (in English) | |
| Topics (in Japanese) | (See Japanese page) |
| Topics (in English) | |
| Chair | Fumihiro Kumeno(Nippon Inst. of Tech.) / Akio Nakata(Hiroshima City Univ.) / Katsuhisa Maruyama(Ritsumeikan Univ.) |
| Vice Chair | Hiroyuki Nakagawa(Osaka Univ.) / Takashi Kobayashi(Tokyo Inst. of Tech.) |
| Secretary | Hiroyuki Nakagawa(NTT) / Takashi Kobayashi(Fujitsu labs.) / (Osaka Univ.) |
| Assistant | Ryuichi Takahashi(Ibaraki Univ.) / Yoshinori Tanabe(Tsurumi Univ.) / Shinpei Hayashi(Tokyo Inst. of Tech.) |
| Paper Information | |
| Registration To | Technical Committee on Knowledge-Based Software Engineering / Technical Committee on Software Science / Special Interest Group on Software Engineering |
|---|---|
| Language | JPN |
| Title (in Japanese) | (See Japanese page) |
| Sub Title (in Japanese) | (See Japanese page) |
| Title (in English) | Reversible Communicating Systems with Time |
| Sub Title (in English) | |
| Keyword(1) | Reversibility |
| Keyword(2) | Discrete time transitions |
| Keyword(3) | Process calculus |
| 1st Author's Name | Satoru Yamamoto |
| 1st Author's Affiliation | Nagoya University(Nagoya Univ.) |
| 2nd Author's Name | Shoji Yuen |
| 2nd Author's Affiliation | Nagoya University(Nagoya Univ.) |
| Date | 2018-07-18 |
| Paper # | SS2018-5,KBSE2018-15 |
| Volume (vol) | vol.118 |
| Number (no) | SS-137,KBSE-138 |
| Page | pp.pp.25-30(SS), pp.25-30(KBSE), |
| #Pages | 6 |
| Date of Issue | 2018-07-11 (SS, KBSE) |