Synchronous Modelling of Asynchronous Systems

Nicolas Halbwachs, Siwar Baghdadi. Synchronous Modelling of Asynchronous Systems. In Alberto L. Sangiovanni-Vincentelli, Joseph Sifakis, editors, Embedded Software, Second International Conference, EMSOFT 2002, Grenoble, France, October 7-9, 2002, Proceedings. Volume 2491 of Lecture Notes in Computer Science, pages 240-251, Springer, 2002. [doi]

@inproceedings{HalbwachsB02,
  title = {Synchronous Modelling of Asynchronous Systems},
  author = {Nicolas Halbwachs and Siwar Baghdadi},
  year = {2002},
  url = {http://link.springer.de/link/service/series/0558/bibs/2491/24910240.htm},
  tags = {meta-model, Meta-Environment},
  researchr = {https://researchr.org/publication/HalbwachsB02},
  cites = {0},
  citedby = {0},
  pages = {240-251},
  booktitle = {Embedded Software, Second International Conference, EMSOFT 2002, Grenoble, France, October 7-9, 2002, Proceedings},
  editor = {Alberto L. Sangiovanni-Vincentelli and Joseph Sifakis},
  volume = {2491},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-44307-X},
}