Preprint
Formalization of Automated Trading Systems in a Concurrent Linear Framework
Preface
Preface
Effective High-level Coordination Programming for Decentralized and Distributed Ensembles
Preface
Programmable Orchestration of Time-Synchronized Events Across Decentralized Android Ensembles