main.bbl

   1 \begin{thebibliography}{}
   2
   3 \bibitem[Bahi, 2000]{Bah00}
   4 Bahi, J.~M. (2000).
   5 \newblock Boolean totally asynchronous iterations.
   6 \newblock {\em International Journal of Mathematical Algorithms}, 1:331--346.
   7
   8 \bibitem[Bahi and Contassot-Vivier, 2002]{BCV02}
   9 Bahi, J.~M. and Contassot-Vivier, S. (2002).
  10 \newblock Stability of fully asynchronous discrete-time discrete-state dynamic
  11   networks.
  12 \newblock {\em IEEE Transactions on Neural Networks}, 13(6):1353--1363.
  13
  14 \bibitem[Bahi et~al., 2010]{BCVC10:ir}
  15 Bahi, J.~M., Contassot-Vivier, S., and Couchot, J.-F. (2010).
  16 \newblock Convergence results of combining synchronism and asynchronism for
  17   discrete-state discrete-time dynamic network.
  18 \newblock Research Report RR2010-02, LIFC - Laboratoire d’{I}nformatique de
  19   l'{U}niversit\'{e} de {F}ranche {C}omt\'{e}.
  20
  21 \bibitem[Bahi and Michel, 1999]{BM99}
  22 Bahi, J.~M. and Michel, C. (1999).
  23 \newblock Simulations of asynchronous evolution of discrete systems.
  24 \newblock {\em Simulation Practice and Theory}, 7:309--324.
  25
  26 \bibitem[Chandrasekaran, 2006]{Cha06}
  27 Chandrasekaran, N. (2006).
  28 \newblock Verifying convergence of asynchronous iterative algorithms based on
  29   lyapunov functions.
  30
  31 \bibitem[Couchot et~al., 2005]{CGK05}
  32 Couchot, J.-F., Giorgetti, A., and Kosmatov, N. (2005).
  33 \newblock A uniform deductive approach for parameterized protocol safety.
  34 \newblock In Redmiles, D.~F., Ellman, T., and Zisman, A., editors, {\em ASE},
  35   pages 364--367. ACM.
  36
  37 \bibitem[Holzmann, 2003]{Hol03}
  38 Holzmann, G.~J. (2003).
  39 \newblock {\em The SPIN Model Checker: Primer and Reference Manual}.
  40 \newblock Addison-Wesley, Pearson Education.
  41
  42 \bibitem[Richard and Comet, 2007]{RC07}
  43 Richard, A. and Comet, J.-P. (2007).
  44 \newblock Necessary conditions for multistationarity in discrete dynamical
  45   systems.
  46 \newblock {\em Discrete Applied Mathematics}, 155(18):2403--2413.
  47
  48 \bibitem[Weise, 1997]{Wei97}
  49 Weise, C. (1997).
  50 \newblock An incremental formal semantics for {PROMELA}.
  51 \newblock In {\em SPIN97, the Third SPIN Workshop}.
  52
  53 \end{thebibliography}