Searching for "On the Formal Specifications of Electronic Institutions." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

2 documents found, showing 1 through 2.

Formalising Agent Mediated Electronic Institutions
by Marc Esteva, Juan A. Rodríguez-Aguilar, Juan A. Rodr'iguez-aguilar, Josep Ll. Arcos, Carles Sierra, Pere Garcia — 2000 — Agent Mediated Electronic Commerce, LNAI 1991
…, in this paper we propose a specification formalism for electronic institutions. The rest of the paper…
Cited by 6 (0 self) – Add To MetaCart

Chapter 1 ENABLING OPEN AGENT INSTITUTIONS £
by Enabling Open Agent, Juan A. Rodríguez-aguilar — 2002
…, in ([8]) we offer a formal specification of electronic institutions that founds the computational model…
Add To MetaCart

Showing 1 through 2.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB