Essential Maintenance: All Authorea-powered sites will be offline 9am-10am EDT Tuesday 28 May
and 11pm-1am EDT Tuesday 28-Wednesday 29 May. We apologise for any inconvenience.

May 06, 2020
State Function-Based Flash Specifications for Open Systems in the Absence or Presence...
Fernando de Azevedo Medeiros, Erling H Stenby, Wei Yan, et al.