Partitioning of perfect synchroneous reactive specifications to distributed processors using µ-charts

Peter Scholz. Partitioning of perfect synchroneous reactive specifications to distributed processors using µ-charts. Software and Systems Modeling, 5(1):13-25, 2006. [doi]

@article{Scholz06:0,
  title = {Partitioning of perfect synchroneous reactive specifications to distributed processors using µ-charts},
  author = {Peter Scholz},
  year = {2006},
  doi = {10.1007/s10270-005-0094-1},
  url = {http://dx.doi.org/10.1007/s10270-005-0094-1},
  tags = {partitioning},
  researchr = {https://researchr.org/publication/Scholz06%3A0},
  cites = {0},
  citedby = {0},
  journal = {Software and Systems Modeling},
  volume = {5},
  number = {1},
  pages = {13-25},
}