Travelled to:
1 × Germany
Collaborated with:
S.Anantharaman J.Chen
Talks about:
synchron (1) calculus (1) process (1) servic (1) cost (1)
Person: Gaétan Hains
DBLP: Hains:Ga=eacute=tan
Contributed to:
Wrote 1 papers:
- SEFM-2005-AnantharamanCH #calculus #process
- A Synchronous Process Calculus for Service Costs (SA, JC, GH), pp. 435–444.