Travelled to:1 × Canada
1 × Mexico
Collaborated with:∅ B.McDonald M.Epstein E.Freeman
Talks about:predeclar (1) writeset (1) transact (1) maximum (1) concurr (1) system (1) semant (1) formal (1) modul (1) model (1)
Person: J. Xu
DBLP: Xu:J=
Contributed to:
1993
1982Wrote 2 papers:
- ILPS-1993-McDonaldXEF #logic #on the #semantics
- On the Denotational and Logical Semantics of CLP-Modules (BM, JX, ME, EF), p. 658.
- VLDB-1982-Xu #concurrent #formal method #transaction
- A Formal Model for Maximum Concurrency in Transaction Systems with Predeclared Writesets (JX), pp. 77–90.