Text this: A double auction mechanism for resource allocation in coded vehicular edge computing

 _    _      ___     _    _    _    _   __    __  
| || | ||   / _ \\  | || | || | || | || \ \\ / // 
| || | ||  | / \ || | || | || | || | ||  \ \/ //  
| \\_/ ||  | \_/ || | \\_/ || | \\_/ ||   \  //   
 \____//    \___//   \____//   \____//     \//    
  `---`     `---`     `---`     `---`       `