ShareTrace: Contact Tracing with the Actor ModelRyan TattonErman Aydayet al.2022Healthcom 2022Conference paper