`Travelled to:`

1 × Portugal

1 × Spain

`Collaborated with:`

∅ J.Chenou G.Guillou L.Bernardinello P.Darondeau L.Hélouët G.E.Kouamou C.Morvan

`Talks about:`

distribut (1) algorithm (1) synthesi (1) signatur (1) polynomi (1) collabor (1) approach (1) infinit (1) grammat (1) environ (1)

## Person: Eric Badouel

### DBLP: Badouel:Eric

### Contributed to:

### Wrote 4 papers:

- SAC-2015-BadouelHKM #approach #collaboration #distributed
- A grammatical approach to data-centric case management in a distributed collaborative environment (EB, LH, GEK, CM), pp. 1834–1839.
- ICALP-2005-BadouelCG #algebra #petri net
- Petri Algebras (EB, JC, GG), pp. 742–754.
- CAAP-1989-Badouel #infinity #monad
- Terms and Infinite Trees as Monads Over a Signature (EB), pp. 89–103.
- TAPSOFT-1995-BadouelBD #algorithm #bound #polynomial #synthesis
- Polynomial Algorithms for the Synthesis of Bounded Nets (EB, LB, PD), pp. 364–378.