Formally specifying an automated trade execution system
References (10)
A Taxonomy of Trade Execution Systems
(1992)- et al.
The Design of Distributed Systems—An Introduction to FOCUS
- et al.
Safety and Liveness from a Methodological Point of View
Towards a design methodology for distributed systems
The Identification and Formal Specification of Electronic Markets Types
There are more references available in the full text version of this article.
Cited by (3)
Extending electronic coordination mechanisms using argumentation: The case of task allocation
1998, Knowledge-Based SystemsDesigning a market for quantitative knowledge
1996, Proceedings of the Annual Hawaii International Conference on System SciencesThe formal and systematic specification of market structures and trading services
1998, Journal of Management Information Systems
Copyright © 1993 Published by Elsevier Inc.