Travelled to:1 × Canada
1 × Denmark
1 × Italy
1 × USA
Collaborated with:T.Higashino K.Taniguchi H.Katagiri A.Kitajima G.v.Bochmann X.Li T.Umedu Y.Terashima A.Nakata
Talks about:synchron (2) multi (2) loto (2) way (2) implement (1) establish (1) wireless (1) restrict (1) protocol (1) descript (1)
Person: Keiichi Yasumoto
DBLP: Yasumoto:Keiichi
Contributed to:
2002
2000
1994
1992Wrote 4 papers:
- FME-2002-UmeduTYNHT #mobile #multi
- A Language for Describing Wireless Mobile Applications with Dynamic Establishment of Multi-way Synchronization Channels (TU, YT, KY, AN, TH, KT), pp. 607–624.
- DAC-2000-KatagiriYKHT #communication #concurrent #hardware #implementation #multi #protocol
- Hardware implementation of communication protocols modeled by concurrent EFSMs with multi-way synchronization (HK, KY, AK, TH, KT), pp. 762–767.
- ICSE-1994-YasumotoHT #process #using
- Software Process Description Using LOTOS and Its Enaction (KY, TH, KT), pp. 169–178.
- IWPTS-1992-HigashinoBLYT #parametricity #strict
- Test System for a Restricted Class of LOTOS Expressions with Data Parameters (TH, GvB, XL, KY, KT), pp. 205–216.