`Travelled to:`

1 × Hungary

1 × Italy

1 × Spain

`Collaborated with:`

P.Degano L.Kott B.Gamatie B.Genest L.Hélouët E.Badouel L.Bernardinello

`Talks about:`

observ (2) behaviour (1) algorithm (1) synthesi (1) polynomi (1) parallel (1) communic (1) sequenc (1) product (1) infinit (1)

## Person: Philippe Darondeau

### DBLP: Darondeau:Philippe

### Contributed to:

### Wrote 5 papers:

- FoSSaCS-2008-DarondeauGH #sequence chart
- Products of Message Sequence Charts (PD, BG, LH), pp. 458–473.
- ICALP-1989-DarondeauD
- Causal Trees (PD, PD), pp. 234–248.
- ICALP-1983-DarondeauK #on the #parallel #semantics
- On the Observational Semantics of Fair Parallelism (PD, LK), pp. 147–159.
- CAAP-1987-DarondeauG #behaviour #communication #infinity
- A Fullt Observational Model for Infinite Behaviours of Communicating Systems (PD, BG), pp. 153–168.
- TAPSOFT-1995-BadouelBD #algorithm #bound #polynomial #synthesis
- Polynomial Algorithms for the Synthesis of Bounded Nets (EB, LB, PD), pp. 364–378.