Travelled to:
1 × USA
Collaborated with:
E.Madelaine
Talks about:
construct (1) structur (1) automata (1) process (1) algebra (1) condit (1) finit (1) all (1)
Person: Didier Vergamini
DBLP: Vergamini:Didier
Contributed to:
Wrote 1 papers:
- CAV-1990-MadelaineV #algebra #automaton #process
- Finiteness Conditions and Structural Construction of Automata for All Process Algebras (EM, DV), pp. 353–363.