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 |