All Stories

  1. From a Formalized Parallel Action Language to Its Efficient Code Generation