most citedRybu: Imperative-style Preprocessor for Verification of Distributed Systems in the Dedan Environment

11 citations · 11 across the 1 of their papers we have counts for

collaborators

1 paper

cs.DC2017★ 11 cited

Rybu: Imperative-style Preprocessor for Verification of Distributed Systems in the Dedan Environment

Wiktor B. Daszczuk, Maciej Bielecki, Jan Michalski

Integrated Model of Distributed Systems (IMDS) is developed for specification and verification of distributed systems, and verification against deadlocks. On the basis of IMDS, Ded…