A requirements language for autonomous decentralized systems development.

Jeffrey J. P. Tsai

Browse the full ISADS paper archive.