8 citations · 54 across the 14 of their papers we have counts for
Showing 2021Show all
2 papers · 1 filter
cs.LO2021
Assuming Just Enough Fairness to make Session Types Complete for Lock-freedom
Rob van Glabbeek, Peter Höfner, Ross Horne
We investigate how different fairness assumptions affect results concerning lock-freedom, a typical liveness property targeted by session type systems. We fix a minimal session cal…
cs.RO2021★ 2 cited
Trust and Safety
S. K. Devitt, R. Horne, Z. Assaad +15
Robotics in Australia have a long history of conforming with safety standards and risk managed practices. This chapter articulates the current state of trust and safety in robotics…