BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Yasumoto:Keiichi

Contributed to:

FME 20022002
DAC 20002000
ICSE 19941994
IWPTS 19921992

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.