77 citations · 242 across the 10 of their papers we have counts for
Showing 2015 · cs.LOShow all
2 papers · 2 filters
cs.LO2015★ 77 cited
A Process Algebra for Wireless Mesh Networks
Ansgar Fehnker, Rob van Glabbeek, Peter Höfner +3
We propose a process algebra for wireless mesh networks that combines novel treatments of local broadcast, conditional unicast and data structures. In this framework, we model the…
cs.LO2015★ 26 cited
Modeling and Verification of the Bitcoin Protocol
Kaylash Chaudhary, Ansgar Fehnker, Jaco van de Pol +1
Bitcoin is a popular digital currency for online payments, realized as a decentralized peer-to-peer electronic cash system. Bitcoin keeps a ledger of all transactions; the majority…