Travelled to:
1 × Germany
Collaborated with:
D.Gajski E.Villar W.Rosenstiel V.Gerousis J.Plantin S.E.Ericsson P.Cavalloro G.G.d.Jong
Talks about:
progress (1) deadlock (1) system (1) specif (1) level (1)
Person: D. Barton
DBLP: Barton:D=
Contributed to:
Wrote 1 papers:
- DATE-2001-GajskiVRGBPECJ #concurrent #specification
- C/C++: progress or deadlock in system-level specification (DG, EV, WR, VG, DB, JP, SEE, PC, GGdJ), pp. 136–137.