TitleDistinguishing between Communicating Transactions
Publication TypeJournal Article
Year of Publication2017
AuthorsKoutavas V, Gazda M, Hennessy M
JournalCoRR
Volumeabs/1703.03256
URLhttp://arxiv.org/abs/1703.03256