id: 70547987
dt: a
an: 70547987
au: Nakata, Akio; Higashino, Teruo; Taniguchi, Kenichi
ti: Protocol synthesis from context-free processes using event structures
so: RTCSA, 173-180 (1998).
py: 1998
pu: 
la: EN
cc: 
ut: 
ci: 
li: http://csdl.computer.org/dl/proceedings/rtcsa/1998/9209/00/92090173.pdf