BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Ruiz:M=_Carmen

Contributed to:

SAC 20062006

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.