BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Gilbert:David_R=

Contributed to:

SFM 20082008
CL 20002000
ALP 19961996
ILPS 19951995
LOPSTR/META 19941994

Wrote 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.
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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.