@InProceedings{YuMuntean90,
  title =        "{O}ccam program synthesis for execution on parallel machines: {T}owards a transformational approach",
  author=        "Yu,  Xiaobo and Muntean,  Traian",
  editor=        "Turner,  Stephen J.",
  pages =        "154--167",
  booktitle=     "{OUG}-12: {T}ools and {T}echniques for {T}ransputer {A}pplications",
  isbn=          "90 5199 029 4",
  year=          "1990",
  month=         "mar",
  abstract=      "In this paper, we present a parallel program synthesis
     system which provides formal, methods and techniques for
     derivation and correct construction of implementations of
     occam programs on networks of transputers. The
     transformation rules are represented by a set of powerful
     algebraic laws of occam in order to perform the necessary
     transformation steps towards abstract forms representing
     models of execution of associated virtual machines.The
     program synthesis system can be applied to various aspects
     of parallel programming in a distributed environment, from
     the communication protocol design and correctness proof of
     implementation to parallel program construction, program
     optimisation, mapping strategies etc.Special emphasis is put
     on the transformation control strategies and guidance
     combined with information of the machine configuration, in
     order to achieve program optimisations, increasing
     parallelism granularity, altering inter-process
     communication patterns, for efficient execution on the
     physical parallelism offered by target transputer machines.
     An example of application of the transformation system to
     the distributed implementation of global synchronisations is
     given."
}