49 citations · 82 across the 10 of their papers we have counts for
4 papers · 1 filter
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…
Specification of the Giskard Consensus Protocol
Elaine Li, Karl Palmskog, Mircea Sebe +1
The Giskard consensus protocol is used to validate transactions and computations in the PlatON network. In this paper, we provide a rigorous specification of Giskard, suitable to s…
Inferring Formal Properties of Production Key-Value Stores
Edgar Pek, Pranav Garg, Muntasir Raihan Rahman +3
Production distributed systems are challenging to formally verify, in particular when they are based on distributed protocols that are not rigorously described or fully understood.…
ABS-NET: Fully Decentralized Runtime Adaptation for Distributed Objects
Karl Palmskog, Mads Dam, Andreas Lundblad +1
We present a formalized, fully decentralized runtime semantics for a core subset of ABS, a language and framework for modelling distributed object-oriented systems. The semantics i…