𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Computational Complexity || Mechanism Design

✍ Scribed by Meyers, Robert A.

Book ID
118052813
Publisher
Springer New York
Year
2012
Weight
682 KB
Category
Article
ISBN
1461418003

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Computational Complexity and Knowledge C
Computational Complexity and Knowledge Complexity
✍ Goldreich, Oded; Ostrovsky, Rafail; Petrank, Erez πŸ“‚ Article πŸ“… 1998 πŸ› Society for Industrial and Applied Mathematics 🌐 English βš– 405 KB
Computational Sample Complexity
Computational Sample Complexity
✍ Decatur, Scott E.; Goldreich, Oded; Ron, Dana πŸ“‚ Article πŸ“… 2000 πŸ› Society for Industrial and Applied Mathematics 🌐 English βš– 466 KB
The computational complexity of scenario
The computational complexity of scenario-based agent verification and design
✍ Yves Bontemps; Pierre-Yves Schobbens πŸ“‚ Article πŸ“… 2007 πŸ› Elsevier Science 🌐 English βš– 405 KB

We first advocate that the AUML (Agent Unified Modeling Language) notation, even in its new version, is not precise enough to adequately describe protocols. This problem was long identified by Harel and we propose to follow his solution: extend sequence diagrams with a "prechart", i.e. single out th