Declarative Framework for Specification, Simulation and Analysis of Distributed Applications

TitleDeclarative Framework for Specification, Simulation and Analysis of Distributed Applications
Publication TypeJournal Article
Year of Publication2016
AuthorsMa, J, Le, F, Russo, A, Lobo, J
JournalIEEE Transactions on Knowledge and Data Engineering
Volume28
Pagination1489–1502