Fair Refinement for Asynchronous Session Types.

Mario Bravetti Julien Lange Gianluigi Zavattaro

Published in: FoSSaCS (2021)

Keyphrases

image processing
neural network
data sets
information systems
image segmentation
mobile robot