Sarah Borland

Publication Activity (10 Years)

Years Active: 2017-2017
Publications (10 Years): 1

Top Topics

Communication Protocol

Formal Analysis

Coloured Petri Nets

Top Venues

Publications

Kamala Ramasubramanian, Kathryn Dahlgren, Asha Karim, Sanjana Maiya, Sarah Borland, Boaz Leskes, Peter Alvaro
Growing a protocol. HotCloud (2017)