VOLUME 2 1997 NUMBER 2
Fixpoint Semantics of Synchronized Systems and Correctness of Their Basic Transformations
Jozef Gruska, Irène Guessarian
Pages 93–133



Download Abstract
 Fulltext is accessible with your personal account
 ShowHide BibTeX
BibTeX: 
@article{JALC-1997-093,
  author  = {Jozef Gruska and Ir{\'{e}}ne Guessarian},
  title   = {Fixpoint Semantics of Synchronized Systems and Correctness of Their Basic Transformations},
  journal = {Journal of Automata, Languages and Combinatorics},
  volume  = {2},
  number  = {2},
  pages   = {93--133},
  year    = {1997},
  url     = {https://doi.org/10.25596/jalc-1997-093},
  doi     = {10.25596/jalc-1997-093}
}
If you would like to see an embedded preview, try to select preview as the action for Portable Document Format (PDF) in your brower settings.
Keywords: fixpoint semantics, systolic systems, semi-systolic systems, retiming transformation, slowdown transformation
DOI: 10.25596/jalc-1997-093