Schedules for Multiset Transformer Programs

  title={Schedules for Multiset Transformer Programs},
  author={Edwin D. de Jong and Mark Reynolds and Lindsey Errington},
Acknowledgdements I would like to thank Edwin de Jong for many discussions and detailed comments on earlier drafts of this report. Part of the research presented here was done during a stay at the Theory and Formal Methods section of Imperial College in London. I am grateful to Chris Hankin of the ESPRIT COORDINATION-project for making this possible and for stimulating discussions with Mark Reynolds, Lindsey Errington and other people of the COORDINATION-project. References 1] J.-P. Ban^ atre… CONTINUE READING