Collaborated with:
P.d.R.Pinto G.Ntzik P.Gardner
Talks about:
abstract (1) concurr (1) specif (1) map (1)
Person: Shale Xiong
DBLP: Xiong:Shale
Contributed to:
Wrote 1 papers:
- ESOP-2017-XiongPNG #concurrent #specification
- Abstract Specifications for Concurrent Maps (SX, PdRP, GN, PG), pp. 964–990.