Constructive Design of a Hierarchy of Semantics of a Transition System by Abstract Interpretation (2000)  (Make Corrections)  (17 citations) Patrick CousotTheoretical Computer Science   Home/Search   Context   Related

View or download: ens.fr/~cousot/pub...++++++2000.ps.gz Cached:  PS.gz  PS  PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.   PS.gz  PS  PDF   Image  Update  Help From:  ens.fr/~cousot/publications.ww... (more) Homepages:  P.Cousot

Rate this article: (best)   Comment on this article

@article{ cousot02-tcs,
          author =    {Cousot, P{.}},
          title =     {Constructive Design of a Hierarchy of Semantics
                       of a Transition System by Abstract
                       Interpretation},
          pages =     {47--103},
          journal =   {Theoretical Computer Science},
          publisher = {Elsevier Science Publishers},
          volume =    277,
          number =    1--2,
          year =      2002,,
          url = {citeseer.ist.psu.edu/cousot00constructive.html} }