Travelled to:
1 × USA
Collaborated with:
S.Ramesh R.K.Shyamasundar
Talks about:
communic (1) reactiv (1) process (1)
Person: G. Berry
DBLP: Berry:G=
Contributed to:
Wrote 1 papers:
- POPL-1993-BerryRS #communication #process
- Communicating Reactive Processes (GB, SR, RKS), pp. 85–98.