KA-other.bib

   1 @Article{inductive-*-Sr,
   2   author =       "Zolt{\'a}n {\'E}sik and Werner Kuich",
   3   title =        "Inductive $^*$-semirings",
   4   journal =      "Theoretical Computer Science",
   5   volume =       "324",
   6   number =       "1",
   7   pages =        "3--33",
   8   month =        sep,
   9   year =         "2004",
  10   CODEN =        "TCSCDI",
  11   ISSN =         "0304-3975",
  12   bibdate =      "Thu Nov 4 10:19:18 MST 2004",
  13   acknowledgement = ack-nhfb,
  14 }
  15
  16 @TechReport{determinacy,
  17   title =        "Characterizing Determinacy in Kleene Algebras",
  18   author =       "Bernhard Moller and Jules Desharnais",
  19   year =         "2000",
  20   month =        oct # "~02",
  21   abstract =     "Elements of Kleene algebras can be used, among others,
  22                  as abstractions of the inputoutput semantics of
  23                  nondeterministic programs or as models for the
  24                  association of pointers with their target objects. In
  25                  the first case, one seeks to distinguish the subclass
  26                  of elements that correspond to deterministic programs.
  27                  In the second case one is only interested in functional
  28                  correspondences, since it does not make sense for a
  29                  pointer to point to two di#erent objects. We discuss
  30                  several candidate notions of determinacy and clarify
  31                  their relationship. Some characterizations that are
  32                  equivalent in the case where the underlying Kleene
  33                  algebra is an (abstract) relation algebra are not
  34                  equivalent for general Kleene algebras. 1",
  35   citeseer-references = "oai:CiteSeerPSU:267478; oai:CiteSeerPSU:511707;
  36                  oai:CiteSeerPSU:176899",
  37   annote =       "Author: Bernhard Moller (Affiliation: Institut fur
  38                  Informatik, Universitat Augsburg; Address: D-86135
  39                  Augsburg, Germany; ); Author: Jules Desharnais
  40                  (Affiliation: Report 2000-5 Mai 2000, Institut f ur
  41                  Informatik, Universite Laval; Address: Departement
  42                  d'informatique, Quebec QC G1K 7P4 Canada; ); The
  43                  Pennsylvania State University CiteSeer Archives",
  44   language =     "en",
  45   oai =          "oai:CiteSeerPSU:520959",
  46   rights =       "unrestricted",
  47   subject =      "Bernhard Moller,Jules Desharnais Characterizing
  48                  Determinacy in Kleene Algebras",
  49   URL =          "http://citeseer.ist.psu.edu/520959.html;
  50                  http://www.informatik.uni-augsburg.de/forschung/techBerichte/reports/2000-5.pdf",
  51 }
  52
  53 @inproceedings{KAT-free-construction,
  54   author    = {Hitoshi Furusawa},
  55   title     = {A Free Construction of Kleene Algebras with Tests.},
  56   booktitle = {MPC},
  57   year      = {2004},
  58   pages     = {129-141},
  59   ee        = {http://springerlink.metapress.com/openurl.asp?genre=article{\&}issn=0302-9743{\&}volume=3125{\&}spage=129},
  60   crossref  = {DBLP:conf/mpc/2004},
  61   bibsource = {DBLP, http://dblp.uni-trier.de}
  62 }
  63
  64 @proceedings{DBLP:conf/mpc/2004,
  65   editor    = {Dexter Kozen and
  66                Carron Shankland},
  67   title     = {Mathematics of Program Construction, 7th International Conference,
  68                MPC 2004, Stirling, Scotland, UK, July 12-14, 2004, Proceedings},
  69   booktitle = {MPC},
  70   publisher = {Springer},
  71   series    = {Lecture Notes in Computer Science},
  72   volume    = {3125},
  73   year      = {2004},
  74   isbn      = {3-540-22380-0},
  75   bibsource = {DBLP, http://dblp.uni-trier.de}
  76 }
  77
  78 @techreport{KAT-representation,
  79  author = {Dexter Kozen},
  80  title = {On the Representation of Kleene Algebras with Tests},
  81  year = {2003},
  82  publisher = {Cornell University},
  83  address = {Ithaca, NY, USA},
  84   note =         {\url!http://www.cs.cornell.edu/kozen/papers/rep.ps!},
  85  }