Travelled to:
1 × USA
Collaborated with:
H.Schek G.Weikum
Talks about:
recoveri (1) control (1) concurr (1) toward (1) theori (1) unifi (1)
Person: Haiyan Ye
DBLP: Ye:Haiyan
Contributed to:
Wrote 1 papers:
- PODS-1993-SchekWY #concurrent #formal method #towards
- Towards a Unified Theory of Concurrency Control and Recovery (HJS, GW, HY), pp. 300–311.