`Travelled to:`

1 × Denmark

1 × France

3 × USA

`Collaborated with:`

R.Jagadeesan P.Panangaden V.A.Saraswat J.Desharnais

`Talks about:`

constraint (3) program (3) process (3) concurr (3) time (2) probabilist (1) stochast (1) approxim (1) foundat (1) default (1)

## Person: Vineet Gupta

### DBLP: Gupta:Vineet

### Contributed to:

### Wrote 5 papers:

- LICS-2002-DesharnaisJGP #bisimulation #metric #probability #process
- The Metric Analogue of Weak Bisimulation for Probabilistic Processes (JD, RJ, VG, PP), pp. 413–422.
- LICS-2000-DesharnaisGJP #approximate #markov #process
- Approximating Labeled Markov Processes (JD, VG, RJ, PP), pp. 95–106.
- POPL-1999-GuptaJP #concurrent #constraints #probability #process #source code
- Stochastic Processes as Concurrent Constraint Programs (VG, RJ, PP), pp. 189–202.
- POPL-1995-SaraswatJG #concurrent #constraints #programming
- Default Timed Concurrent Constraint Programming (VAS, RJ, VG), pp. 272–285.
- LICS-1994-SaraswatJG #concurrent #constraints #programming
- Foundations of Timed Concurrent Constraint Programming (VAS, RJ, VG), pp. 71–80.