References of "Höfner, Peter"
     in
Bookmark and Share    
Full Text
Peer Reviewed
See detailAssuming Just Enough Fairness to make Session Types Complete for Lock-freedom
van Glabeek, Robert J.; Höfner, Peter; Horne, Ross James UL

in 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS '21) (2021)

Detailed reference viewed: 29 (0 UL)