Travelled to:1 × France
1 × Ireland
1 × USA
Collaborated with:E.Dürr ∅ A.A.Holzbacher-Valero R.A.Volz R.Waldrop
Talks about:system (2) ada (2) develop (1) concurr (1) specif (1) kernel (1) forest (1) compar (1) rigor (1) oper (1)
Person: S. J. Goldsack
DBLP: Goldsack:S=_J=
Contributed to:
1994
1992
1988Wrote 3 papers:
- TOOLS-EUROPE-1994-DurrG #concurrent #development
- Rigorous Development of Concurrent O-O Systems (ED, SJG), p. 515.
- TRI-Ada-C-1992-GoldsackHVW #ada #adaptation
- AdaPT and Ada 9X (SJG, AAHV, RAV, RW), pp. 493–503.
- VDME-1988-Goldsack #kernel #operating system #specification
- Specification of an Operating System Kernel FOREST and VDM compared (SJG), pp. 88–100.