| IEICE Technical Committee Submission System Conference Schedule |
Online Proceedings [Sign in] Tech. Rep. Archives |
All Technical Committee Conferences (Searched in: All Years)
| Committee | Date Time | Place | Paper Title / Authors | Abstract | Paper # | |
| SS | 2019-03-04 09:50 |
Okinawa | Congruence property of reversible process calculus with time Satoru Yamamoto, Shoji Yuen (Nagoya Univ.)  SS2018-53 |
We present a reversible bisimilar equivalence for Timed RCCS(Timed Reversible Calculus of Communicating Systems) extende... [more] | SS2018-53 pp.7-12 |
|
| DC, SS | 2018-10-04 15:50 |
Aichi | Inuyama City Kokusai-Kanko Center Freud | Yui Ihara, Nagisa Kojima, Kazuyuki Shima (Hiroshima City Univ.) SS2018-21 DC2018-22 |
(To be available after the conference date) [more] | SS2018-21 DC2018-22 pp.19-24 |
| KBSE, SS, IPSJ-SE [detail] | 2018-07-18 11:30 |
Hokkaido | Reversible Communicating Systems with Time Satoru Yamamoto, Shoji Yuen (Nagoya Univ.) SS2018-5 KBSE2018-15 |
In this research, we propose a timed extension of RCCS, called Timed RCCS, equipped with forward and backward discrete t... [more] | SS2018-5 KBSE2018-15 pp.25-30 |
|
| CCS | 2016-08-10 12:30 |
Hokkaido | Yoichi Chuo kominkan | [Invited Lecture]
Topology-based Approach for Network Sensing and its Applications Kazuki Nakada (Hiroshima City Univ.), Keiji Miura (Kwansei Gakuin Univ.) CCS2016-25 |
In this presentation, we review a topology-based approach for network sensing and its applications. We here explain rece... [more] | CCS2016-25 pp.47-52 |
| SS, MSS | 2016-01-26 11:30 |
Ishikawa | Shiinoki-Geihin-Kan | Towards an Extension of CCS for Hybrid Systems Yuto Kawakita, Shoji Yuen (Ngagoya Univ.) MSS2015-58 SS2015-67 |
We propose an extension of Milner's CCS for hybrid systems where continuous and discrete behavior are related to each ot... [more] | MSS2015-58 SS2015-67 pp.129-134 |
| DC, SS | 2015-10-13 13:50 |
Nara | Todaiji Culture Center (Nara) | A Description of Recursive Hybrid Automata by HCCS Yuto Kawakita, Yuen Shoji (Nagoya Univ.) SS2015-36 DC2015-26 |
We present a formal description of recursive hybrid automata, RHA for short, by HCCS proposed by Schneider et.el., which... [more] | SS2015-36 DC2015-26 pp.7-12 |
| SS | 2015-05-11 13:30 |
Kumamoto | Kumamoto University | Towards the Supervisor Synthesis Using Hybrid Process Calculi Yuto Kawakita, Shoji Yuen (Nagoya Univ.) SS2015-2 |
We deal with a supervisor synthesis for HCCS, an extension of CCS for hybrid communicating systems, by the syntactic man... [more] | SS2015-2 pp.7-10 |
| SS | 2011-03-08 09:50 |
Okinawa | Okinawa-ken Seinen Kaikan | A Process Algebra Compiler with Negative Premises Jun Ban, Shoji Yuen (Nagoya Univ.) SS2010-70 |
Structural Operational Semantics (SOS) is widely used for defining operational semantics of concurrent process calculi. ... [more] |
SS2010-70 pp.103-108 |
| SS, KBSE | 2009-05-22 10:30 |
Akita | Akita University | An SOS interpreter with negative premises and an equivalence checker by Maude Jun Ban, Keigo Imai, Shoji Yuen (Nagoya Univ.) SS2009-9 KBSE2009-9 |
This paper presents a general implementation by Maude of labelled transition systems specified by SOS (structural oper... [more] |
SS2009-9 KBSE2009-9 pp.49-54 |
| SS | 2005-12-20 11:15 |
Kochi | Kochi Women's University | Type Judgement System for Communication Error in Distributed JoinJAVA Programs Masaki Saeki, Toshiki Sakabe, Masahiko Sakai, Keiichirou Kusakari, Naoki Nishida (Nagoya Univ.) |
The distributed JoinJAVA is the Join-Calculus extended by adding JAVA fragments as sequential processes. It enables us ... [more] |
SS2005-67 pp.25-30 |
[Return to Top Page]