Travelled to:1 × France
Collaborated with:D.Cazorla F.Cuartero J.J.Pardo
Talks about:protocol (1) process (1) concurr (1) commerc (1) analysi (1) algebra (1) true (1) use (1) set (1)
Person: M. Carmen Ruiz
DBLP: Ruiz:M=_Carmen
Contributed to:
2006Wrote 1 papers:
- SAC-2006-RuizCCP #algebra #analysis #concurrent #e-commerce #process #protocol #set #using
- Analysis of the SET e-commerce protocol using a true concurrency process algebra (MCR, DC, FC, JJP), pp. 879–886.