Travelled to:1 × Australia
1 × USA
Collaborated with:R.Duke L.Wildman D.Hoffman P.A.Strooper
Talks about:concurr (2) java (2) monitor (1) object (1) model (1) tool (1) test (1)
Person: Brad Long
DBLP: Long:Brad
Contributed to:
2003
2001Wrote 2 papers:
- SEFM-2003-DukeWL #concurrent #java #modelling
- Modelling Java Concurrency with Object-Z (RD, LW, BL), pp. 173–181.
- ASE-2001-LongHS #concurrent #java #monitoring
- A Concurrency Test Tool for Java Monitors (BL, DH, PAS), pp. 421–425.