VOLUME 2 | 1997 | NUMBER 2 |
Fixpoint Semantics of Synchronized Systems and Correctness of Their Basic Transformations
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} }