Travelled to:1 × Germany
1 × USA
1 × United Kingdom
2 × Italy
Collaborated with:C.Palamidessi L.Brim J.Jacquet M.Kretínský M.Heiner R.Donaldson C.J.Hogger J.Zlatuska
Talks about:program (3) constraint (2) process (2) concurr (2) synchronis (1) transform (1) behaviour (1) synchron (1) synthet (1) algebra (1)
Person: David R. Gilbert
DBLP: Gilbert:David_R=
Contributed to:
2008
2000
1996
1995
1994Wrote 6 papers:
- SFM-2008-HeinerGD #biology #petri net
- Petri Nets for Systems and Synthetic Biology (MH, DRG, RD), pp. 215–264.
- CL-2000-GilbertP #concurrent #constraints #process #programming
- Concurrent Constraint Programming with Process Mobility (DRG, CP), pp. 463–477.
- ALP-1996-BrimJGK #algebra #concurrent #constraints #process #programming
- A Process Algebra for Synchronous Concurrent Constraint Programming (LB, JMJ, DRG, MK), pp. 165–178.
- ILPS-1995-BrimGJK
- Synchronisation in Scc (LB, DRG, JMJ, MK), p. 641.
- LOPSTR-1994-GilbertHZ #behaviour #source code #specification
- Transforming Specifications of Observable Behaviour into Programs (DRG, CJH, JZ), pp. 88–103.