17 citations · 17 across the 2 of their papers we have counts for
2 papers
cs.CY2025
Beyond Platforms -- Growing Distributed Transaction Networks for Digital Commerce
Yvonne Dittrich, Kim Peiter Jørgensen, Ravi Prakash +2
We talk of the internet as digital infrastructure; but we leave the building of rails and roads to the quasi-monopolistic platform providers. Decentralised architectures provide a…
cs.LO2020★ 17 cited
Actris 2.0: Asynchronous Session-Type Based Reasoning in Separation Logic
Jonas Kastberg Hinrichsen, Jesper Bengtson, Robbert Krebbers
Message passing is a useful abstraction for implementing concurrent programs. For real-world systems, however, it is often combined with other programming and concurrency paradigms…