Specifying the ODP Trader: An Introduction to E-LOTOS.

Giovanny F. Lucero, Juan Quemada

Browse the full FORTE paper archive.