DBLP Record 'journals/jalc/GruskaG97'

BibTeX

@article{DBLP:journals/jalc/GruskaG97,
  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},
  year      = {1997},
  pages     = {93-134},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}