1 citations · 1 across the 2 of their papers we have counts for
2 papers
cs.LO2023
Asynchronous Muddy Children Puzzle (work in progress)
Dafina Trufaş, Ioan Teodorescu, Denisa Diaconescu +2
In this work-in-progress paper we explore using the recently introduced VLSM formalism to define and reason about the dynamics of agent-based systems. To this aim we use VLSMs to f…
cs.DC2022★ 1 cited
Validating Labelled State Transition and Message Production Systems: A Theory for Modelling Faulty Distributed Systems
Vlad Zamfir, Mihai Calancea, Denisa Diaconescu +7
Modeling and formally reasoning about distributed systems with faults is a challenging task. To address this problem, we propose the theory of Validating Labeled State transition a…