@String{CACM =   "Communications of the ACM"}

@String{FOCS =   "Proc. of the Conference on the Foundations of Computer
                 Science"}

@String{FSTTCS-12 = "Proc. of 12th Conference on the Foundations of
                 Software Technology \& Theoretical Computer Science"}

@String{FSTTCS-22 = "Proc. of 12th Conference on the Foundations of
                 Software Technology \& Theoretical Computer Science"}


@String{FSTTCS-15 = "Proc. of 15th Conference on the Foundations of
                 Software Technology \& Theoretical Computer Science"}

@String{ICDCS =  "Proc. of the International Conference on Distributed
                 Computing Systems"}

@String{ICDCS-6 = "Proc. of the \mbox{$6{th}$} International Conference
                 on Distributed Computing Systems"}

@String{ICDCS-7 = "Proc. of the \mbox{$7{th}$} International Conference
                 on Distributed Computing Systems"}

@String{ICDCS-8 = "Proc. of the \mbox{$8{th}$} International Conference
                 on Distributed Computing Systems"}

@String{ICDCS-9 = "Proc. of the \mbox{$9{th}$} International Conference
                 on Distributed Computing Systems"}

@String{ICDCS-10 = "Proc. of the \mbox{$10{th}$} International
                 Conference on Distributed Computing Systems"}

@String{ICDCS-11 = "Proc. of the \mbox{$11{th}$} International
                 Conference on Distributed Computing Systems"}

@String{ICPP =   "Proc. of International Conference on Parallel
                 Processing"}

@String{ICSS-21 = "Proc. of the \mbox{$21{st}$} International
                 Conference on System Sciences"}

@String{IPL =    "Information Processing Letters"}

@String{JACM =   "Communications of the ACM"}

@String{OSREVIEW = "ACM Operating Systems Review"}

@String{PODC-9 = "Proc. of the 9th Principles of Distributed Computing"}

@String{PODC = "Proc. of the Principles of Distributed Computing"}

@String{PSCSMCDS = "Proc. of the SCS MultiConference on Distributed
                 Simulation"}

@String{SIAM =   "Society for Industrial and Applied Mathematics"}

@String{TCS =    "Theoretical Computer Science"}

@String{TOCS =   "ACM Transactions on Computer Systems"}

@String{JPDC =   "Journal of Parallel and Distributed Computing"}

@String{TOPLAS = "ACM Transactions on Programming Languages and
                 Systems"}

@String{WPDD =   "Proc. of the Workshop on Parallel and Distributed
                 Debugging"}

@String{WPADS-6 = "6th Workshop on Parallel and Distributed Simulation"}

@String{WPADS-7 = "7th Workshop on Parallel and Distributed Simulation"}

@String{WSCP =   "Winter Simulation Conference Proceedings"}

@String{ISPDP-5 = "Proc. of the \mbox{$5{th}$} IEEE Symposium on
                 Parallel and Distributed Processing"}

@String{SV = {Springer-Verlag}}
@String{LNCS = {Lecture Notes in Computer Science}}
@String{PROC = {Proceedings of the}}
@String{CAV = {International Conference on Computer-Aided Verification (CAV)}}


@TechReport{li89,
  author =       "K. Li and R. Schaefer",
  title =        "Shiva: An Operating System Transforming a Hypercube
                 into a Shared Memory Machine",
  institution =  "Princeton University",
  note =         "Department of Computer Science",
  type =         "Technical Report",
  number =       "CS-TR-217-89",
  address =      "Princeton, NJ",
  month =        apr,
  year =         "1989",
  comment =      "shiva distributed shared memory",
}

@TechReport{fleisch89,
  author =       "B. D. Fleisch and G. J. Popek",
  title =        "Mirage: {A} Coherent Distributed Shared Memory
                 Design",
  institution =  "UCLA CS Department",
  type =         "Technical Report",
  number =       "CSD-890002",
  address =      "Los Angeles, CA",
  month =        apr,
  year =         "1989",
}

@InProceedings{Helary,
  author =       "J. Helary",
  title =        "Observing Global States of Asynchronous Distributed
		  Applications",
  booktitle =    "Workshop on Distributed Algorithms",
  year =         "1989",
  pages =        "124--135",
  publisher =    "Springer Verlag, LNCS 392",
}

@InProceedings{Taylor,
  author =       "K. Taylor",
  title =        "The Role of Inhibition in Asynchronous 
		  Consistent-Cut Protocols",
  booktitle =    "Workshop on Distributed Algorithms",
  year =         "1989",
  pages =        "280--291",
  publisher =    "Springer-Verlag, LNCS 392",
}

@InProceedings{ramachandran89,
  author =       "U. Ramachandran and M. Ahamad and M. Khalidi",
  title =        "An Implementation of Distributed Shared Memory",
  booktitle =    "Workshop on Experiences with Distributed and
                 Multiprocessor Systems",
  month =        oct,
  year =         "1989",
  pages =        "21--38",
  organization = "USENIX",
}

@Article{beck89,
  author =       "B. Beck and D. Olien",
  title =        "A Parallel-Programming Process Model",
  journal =      "IEEE Software",
  month =        may,
  year =         "1989",
}

@Article{art:siscla85,
  author =       "A. P. Sistla and E. M. Clarke",
  title =        "The Complexity of Propositional Linear Temporal
                 Logic",
  journal =      JACM,
  year =         "1985",
  volume =       "32",
  number =       "3",
  pages =        "733--749",
}

@Article{AroGou94,
  author =       "A. Arora and M. Gouda",
  title =        "Distributed Reset",
  journal =      "IEEE Transactions on Computers",
  year =         "1994",
  volume =       "43",
  number =       "9",
  pages =        "1026 -- 1038",
}

@inproceedings{arora00,
    author = "Anish Arora and Sandeep S. Kulkarni and Murat Demirbas",
    title = "Resettable vector clocks",
    booktitle = "Symposium on Principles of Distributed Computing",
    pages = "269-278",
    year = "2000",
}

@Article{Gouda95,
  author =       "M. Gouda",
  title =        "The Triumph and Tribulation of System Stabilization",
  journal =      "Workshop on Distributed Algorithms",
  year =         "1995",
  booktitle =    LNCS,
  pages =        "1 -- 18",
}

@Article{Gouda01,
  author =       "M. Gouda",
  title =        "Multiphase Stabilization",
  journal =      "IEEE Transactions on Computers",
  year =         "2001",
  note =        "accepted",
}

@Article{BirmJose:causal,
  author =       "K. P. Birman and T. A. Joseph",
  title =        "Reliable Communication in the Presence of Failures",
  journal =      "ACM Transactions on Computer Systems",
  year =         "1987",
  volume =       "5",
  number =       "1",
  pages =        "47--76",
}

@Article{bal89,
  author =       "H. Bal and J. Steiner and A. Tanenbaum",
  title =        "Programming Languages for Distributed Computing
                 Systems",
  journal =      "ACM Compuring Surveys",
  montrh =       sep,
  year =         "1989",
  volume =       "21",
  number =       "3",
}

@Article{Charron-Bost:size,
  author =       "B. Charron-Bost",
  title =        "Concerning the size of logical clocks in
		  distributed systems",
  journal =      IPL,
  year =         "1991",
  month =       jul,
  volume =       "39",
  pages =        "11--16",
}

@Book{Garg96:kb,
  author =       "V. K. Garg",
  title =        "Principles of Distributed Systems",
  publisher =    "Kluwer Academic Publishers",
  address =      "Boston, MA",
  year =         "1996",
}

@Book{Garg02:bk,
  author =       "V. K. Garg",
  title =        "Elements of Distributed Computing",
  publisher =    "Wiley \& Sons",
  year =         "2002",
}

@Book{Garg04:bk,
  author =       "V. K. Garg",
  title =        "Concurrent and Distributed Computing in Java",
  publisher =    "Wiley \& Sons",
  year =         "2004",
}
@Book{Barbosa:bk,
  author =       "V. Barbosa",
  title =        "An Introduction to Distributed Algorithms",
  publisher =    "The {MIT} Press",
  year =         "1996",
  address =      "Cambridge, MA",
  topic =        "distributed-processing;",
}

@Book{chowjohn:bk,
  author =       "R. Chow and T. Johnson",
  title =        "Distributed Operating Systems and Algorithms",
  publisher =    "Addison-Wesley Longman",
  year =         "1997",
  address =      "Reading, MA",
  topic =        "distributed-processing;",
}

@Book{Java,
  author =       "K. Arnold and J. Gosling",
  title =        "The Java Programming Language",
  publisher =    "Addison Wesley",
  address =      "Reading, MA",
  year =         "1996",
}

@InProceedings{Garg:aadebug,
  author =       "V. K. Garg",
  title =        "Observation and Control for Debugging Distributed Computations",
  booktitle =    "Proc. Third International Workshop on Automated Debugging (AADEBUG'97)",
  month =        may,
  year =         "1997",
  pages =        "1--12",
  note = "Keynote presentation",
}

@InProceedings{Garg:pdcs03,
  author =       "V. K. Garg",
  title =        "Enumerating Global States of a Distributed Computationin Lexicographic and Breadth-First Manner",
  booktitle =    "International Conference on 
                   Parallel and Distributed Computing Systems",
  month =        nov,
  year =         "2003",
  pages =        "134--139",
}

@InProceedings{Garg:seke,
  author =       "V. K. Garg",
  title =        "Observation of global properties in distributed systems",
  booktitle =    "Eighth IEEE International Conference on 
                   Software and Knowledge Engineering",
  month =        jun,
  year =         "1996",
  pages =        "418--425",
  organization = "IEEE",
}

@Article{gehani88,
  author =       "N. Gehani and W. Roome",
  title =        "Rendezvous Facilites: Concurrent {C} and the Ada
                 Language",
  journal =      "IEEE Transactions on Software Engineering",
  volume =       "14",
  number =       "11",
  month =        nov,
  year =         "1988",
}

@Article{seitz85,
  author =       "C. L. Seitz",
  title =        "The Cosmic Cube",
  journal =      CACM,
  month =        jan,
  year =         "1985",
  volume =       "28",
  number =       "1",
}

@Book{almasi:hpc,
  author =       "G. S. Almasi and A. Gottlieb",
  title =        "Highly Parallel Computing",
  publisher =    "The Benjamin/Cummings Publishing Company, Inc.",
  address =      "Redwood City, CA",
  year =         "1989",
}

@Manual{metzger,
  author =       "R. Metzger",
  title =        "Using {C} for Super Computing",
  institution =  "Convex Computer Corporation",
}

@Book{silber:os,
  author =       "A. Silberschatz and J. Peterson and P. Galvin",
  title =        "Operating System Concepts",
  publisher =    "Addison-Wesley",
  address =      "Reading, MA",
  year =         "1991",
}

@Article{andrews83,
  author =       "G. R. Andrews and F. B. Schneider",
  title =        "Concepts and Notations for Concurrent Programming",
  journal =      "ACM Compuring Surveys",
  month =        mar,
  year =         "1983",
  volume =       "32",
  number =       "4",
}

   @Book{goscinski,
     author =       "A. Goscinski",
     title =        "Distributed Operating Systems, The Logical Design",
     publisher =    "Addison-Wesley",
     year =         "1991",
  address =      "Sydney, Australia",
     note =         "ISBN 0-201-41704-9",
   }


@Article{carriero89,
  author =       "N. Carriero and D. Gelernter",
  title =        "Linda in Context",
  journal =      CACM,
  month =        apr,
  year =         "1989",
  volume =       "32",
  number =       "4",
}

@InProceedings{cohn89,
  author =       "D. Cohn and K. Tracey",
  title =        "{ARCADE} - An Architecture for a Distributed
                 Environment",
  booktitle =    ICDCS,
  month =        jun,
  year =         "1989",
  pages =        "498--505",
  organization = "IEEE",
}

@Book{davey,
  author =       "B. A. Davey and H. A. Priestley",
  title =        "Introduction to Lattices and Order",
  publisher =    "Cambridge University Press",
  address =      "Cambridge, UK",
  year =         "1990",
}

@Article{ferrante87,
  author =       "J. Ferrante and K. J. Ottenstein and J. D.  Warren",
  title =        "The Program Dependence Graph and Its Use in
                 Optimization",
  journal =      TOPLAS,
  month =        jul,
  year =         "1987",
  volume =       "9",
  number =       "3",
}

@Article{tick89,
  author =       "E. Tick",
  title =        "Comparing Two Parallel Logic-Programming
                 Architectures",
  journal =      "IEEE Software",
  month =        jul,
  year =         "1989",
}

@Article{ringwood88,
  author =       "G. A. Ringwood",
  title =        "Parlog86 and The Dining Logicians",
  journal =      CACM,
  month =        jan,
  year =         "1988",
  volume =       "31",
  number =       "1",
}

@InProceedings{Beck91,
  author =       "T. Becker",
  title =        "Keeping Processes Under Surveillance",
  booktitle =    "Symposium on Reilable Distributed Systems",
  year =         "1991",
  pages =        "198 -- 205",
  organization = "IEEE",
}

@InProceedings{MurGar:dcs,
  author =       "V. V. Murty and V. K. Garg",
  title =        "Characterization of Message Ordering Specifications and 
		Protocols",
  booktitle =    ICDCS,
  month =        may,
  year =         "1997",
  pages =        "492--499",
  organization = "IEEE",
}

@Article{GargWald:WeakUnstable,
  author =       "V. K. Garg and B. Waldecker",
  title =        "Detection of Weak Unstable Predicates in Distributed
                 Programs",
  journal =      "IEEE Transactions on Parallel and Distributed
                 Systems",
  year =         "1994",
  volume =       "5",
  number =       "3",
  pages =        "299--307",
  month =        mar,
}

@Article{CamHab,
  author =       "R. H. Campbell and A. N. Habermann",
  title =        "The specification of process synchronization by path
			expressions",
  journal =      "Lecture Notes in Computer Science, Springer-Verlag",
  year =         "1974",
  volume = 	 "16",
}

@Article{Ahuja:flush,
  author =       "M. Ahuja",
  title =        "An implementation of F-channels",
  journal =      "IEEE Transactions on Parallel and Distributed
                 Systems",
  year =         "1993",
  volume =       "4",
  number =       "6",
  pages =        "658--667",
  month =        jun,
}

@Article{GargWald:StrongUnstable,
  author =       "V. K. Garg and B. Waldecker",
  title =        "Detection of Strong Unstable Predicates in Distributed
                 Programs",
  journal =      "IEEE Transactions on Parallel and Distributed
                 Systems",
  volume =       "7",
  number =       "12",
  month =        dec,
  year =         "1996",
  pages = 	 "1323--1333"
}

@InCollection{AlexGarg:RCL,
  author =       "A. I. Tomlinson and V. K. Garg",
  title =        "Observation of Software for Distributed Systems with {RCL}",
  booktitle =    FSTTCS-15,
  month =        dec,
  year =         "1995",
  note =         "Lecture Notes in Computer Science ",
  publisher =    "Springer Verlag",
  comment =      "debugging, predicates, unstable",
}

@InCollection{GargWald:Unstable,
  author =       "V. K. Garg and B. Waldecker",
  title =        "Detection of Unstable Predicates in Distributed
                 Programs",
  booktitle =    FSTTCS-12,
  month =        dec,
  year =         "1992",
  pages =        "253--264",
  note =         "Lecture Notes in Computer Science 652",
  publisher =    "Springer Verlag",
  comment =      "debugging, predicates, unstable",
}

@InCollection{Garg:fsttcs02,
  author =       "V. K. Garg",
  title =        "Algorithmic Combinatorics based on Slicing Posets",
  booktitle =    FSTTCS-22,
  month =        dec,
  year =         "2002",
  pages =        "169--181",
  note =         "Lecture Notes in Computer Science ",
  publisher =    "Springer Verlag",
  comment =      "debugging, predicates, unstable",
}


@Article{gurd85,
  author =       "J. R. Gurd and G. C. Kirkham and I. Watson",
  title =        "The Manchester Prototype Dataflow Computer",
  journal =      CACM,
  month =        jan,
  year =         "1985",
  volume =       "28",
  number =       "1",
}

@Article{gajski82,
  author =       "D. D. Gajski and D. A. Padua and D. J. Kuck
                 and Robert H. Kuhn",
  title =        "A Second Opinion on Data Flow Machines and Languages",
  journal =      "IEEE Computer",
  month =        feb,
  year =         "1982",
}

@InProceedings{goldtar86,
  author =       "A. V. Goldberg and R. E. Tarjan",
  title =        "A New Approach to the Maximum Flow Problem",
  booktitle =    "Proc. of the Eighteenth Annual ACM Symposium on Theory of Computing",
  year =         "1986",
  pages =        "136--146",
}

@Article{veen86,
  author =       "A. H. Veen",
  title =        "Dataflow Machine Architecture",
  journal =      "ACM Computing Surveys",
  month =        dec,
  year =         "1986",
  volume =       "18",
  number =       "4",
}

@InProceedings{miller88,
  author =       "B. P. Miller and J. Choi",
  title =        "A Mechanism for Efficient Debugging of Parallel
                 Programs",
  booktitle =    "Proc. of the Conference on Programming Language Design
                 and Implementation",
  month =        jun,
  year =         "1988",
  pages =        "135--144",
  organization = "ACM SIGPLAN",
}

@Book{Lyu,
  booktitle =    "Software Fault Tolerance",
  year =         "1995",
  editor =         "M. Lyu",
  publisher =    "Wiley, Trends in Software",
}

@InCollection{HuaKin95,
  author =       "Y. Huang and C. Kintala",
  title =        "Software Fault Tolerance in the Application Layer",
  booktitle =    "Software Fault Tolerance",
  year =         "1995",
  editor =         "Michael Lyu",
  publisher =    "Wiley, Trends in Software",
  pages = 	  "249--278",
}

@Book{NSF89,
  author =       "{J.E. Hopcroft and Chairs} K.W. Kennedy",
  title =        "Computer Science: Achievements and Opportunities",
  publisher =    SIAM,
  note =         "Report of the NSF Advisory Committee for Computer
                 Research",
  year =         "1989",
  address =      "3600 University Science Center, Philadelphia, PA
                 19104-2688",
}

@Article{dijkstra:sema:68a,
  author =       "E. W. Dijkstra",
  title =        "The Structure of the \verb.{"}.{THE}\verb.{"}.
                 Multiprogramming System",
  journal =      CACM,
  month =        may,
  year =         "1968",
  volume =       "11",
  number =       "5",
  pages =        "341--346",
}


@InProceedings{Misra83,
     author =       "J. Misra",
     title =        "Detecting Termination of Distributed Computations
                    Using Markers",
     booktitle =    "2nd ACM SIGACT-SIGOPS Symposium on Principles of
                    Distributed Computing",
     year =         "1983",
     pages = 	    "290--294",
}

@Article{Dijkstra74,
     author =       "E. W. Dijkstra",
     title =        "Self-stabilizing Systems in Spite of Distributed
                    Control",
     journal =      "Communications of the ACM",
     volume =       "17",
     year =         "1974",
     pages = 	    "643--644",
   }


@InCollection{dijkstra:snapshot,
  author =       "E. W. Dijkstra",
  title =        "The Distributed Snapshot of {K.M. C}handy and {L. L}amport",
  publisher =    "NATO ASI Series, Springer-Verlag",
  booktitle =    "Control Flow and Data Flow: Concepts of Distributed Programming",
  volume = 	 "F14",
  editor =       "M. Broy",
  year =         "1985",
  address =      "New York, NY",
}

@InCollection{dijkstra:sema:68b,
  author =       "E. W. Dijkstra",
  title =        "Cooperating Sequential Processes",
  publisher =    "Academic Press",
  editor =       "F. Genuys",
  year =         "1968",
  address =      "New York, NY",
}


@Article{Dijkstra86,
     author =       "E. W. Dijkstra",
     title =        "A Belated Proof of Self-Stabilization",
     journal =      "Distributed Computing",
     volume =       "1",
     year =         "1986",
}

@Book{dijkstra-disc,
  author =       "E. W. Dijkstra",
  title =        "A Discipline of Programming",
  publisher =    "Prentice-Hall",
  year =         "1976",
  address =      "Englewood Cliffs, NJ",
}

@Book{dijkstra,
  author =       "E. W. Dijkstra and C. S. Scholten",
  title =        "Predicate Calculus and Program Semantics",
  publisher =    "Springer-Verlag New York Inc.",
  year =         "1990",
  address =      "New York, NY",
}

@InProceedings{KumarGarg:spcp,
  author =       "R. Kumar and V. K. Garg and S. Marcus",
  title =        "Predicate Transformers for Supervisory Control",
  booktitle =    "Proc. Conference on Decision and Control",
  addres =       "Brighton, United Kingdom",
  month =        dec,
  year =         "1991",
}

@Article{KumarGarg:CtlObsDES,
  author =       "R. Kumar and V. K. Garg and S. Marcus",
  title =        "On Controllability and Observability of Discrete Event
                 Dynamic Systems",
  journal =      "System \& Control Letters",
  volume =       "17",
  year =         "1991",
  pages =        "157--168",
}

@Article{lin-wonham,
  author =       "F. Lin and W. M. Wonham",
  title =        "On Observability of Discrete-Event Systems",
  journal =      "Information Sciences",
  year =         "1988",
  volume =       "44",
  pages =        "173--198",
}

@Article{ramadge89a,
  author =       "P. J. Ramadge",
  title =        "Some Tractable Supervisory Control Problems for
                 Discrete-Event Systems Modeled by {B}u{\"c}hi
                 Automata",
  journal =      "IEEE Transactions on Automatic Control",
  volume =       "34",
  number =       "1",
  month =        nov,
  year =         "1989",
}

@Article{ramadge89,
  author =       "P. J. Ramadge and W. M. Wonham",
  title =        "The Control of Discrete Event Systems",
  journal =      "Proc. of the IEEE",
  volume =       "77",
  number =       "1",
  month =        jan,
  year =         "1989",
}

@InProceedings{ramadge87,
  author =       "C. H. Golaszewski and P. J. Ramadge",
  title =        "Control of Discrete Event Processes with Forced
                 Events",
  booktitle =    "Proc. of the 26th Conference on Decision and Control",
  address =      "Los Angeles, CA",
  month =        dec,
  year =         "1987",
  pages =        "247--251",
  organization = "IEEE",
}

@Article{inan89,
  author =       "Kemal M. Inan and Pravin P. Varaiya",
  title =        "Algebras of Discrete Event Models",
  journal =      "Proc. of the IEEE",
  volume =       "77",
  number =       "1",
  month =        jan,
  year =         "1989",
}

@InProceedings{Afek87:GlobRes,
  author =       "Y. Afek and B. Awerbuch and S. A. Plotkin and M.
                 Saks",
  title =        "Local Management of a Global Resource in a
                 Communication Network",
  booktitle =    FOCS,
  month =        aug,
  year =         "1987",
  pages =        "347--357",
  organization = "IEEE",
}

@Article{JACM::Awerbuch1985,
  title =        "Complexity of Network Synchronization",
  author =       "B. Awerbuch",
  area =         "Distributed Computing",
  pages =        "804--823",
  journal =      "Journal of the ACM",
  month =        oct,
  year =         "1985",
  volume =       "32",
  number =       "4",
}

@InProceedings{varaiya91,
  author =       "A. Hsu and F. Eskafi and S. Sachs and P. Varaiya",
  title =        "The Design of Platoon Maneuver Protocols for {IVHS}",
  booktitle =    "Workshop on Discrete Event Systems",
  address =      "Amherst, MA",
  month =        jun,
  year =         "1991",
  organization = "NSF",
}

@Article{HMRS:wcp,
  title =        "Efficient Distributed Detection of Conjunctions of
                 Local Predicates",
  author =       "Michael Hurfin and Masaaki Mizuno and Michel Raynal
                 and Mukesh Singhal",
  pages =        "664--677",
  journal =      "IEEE Transactions on Software Engineering",
  ISSN =         "0098-5589",
  year =         "1998",
  volume =       "24",
  month =        aug,
  number =       "8",
}

@TechReport{OzdenGarg:GlobRes,
  author =       "B. Ozden and V. K. Garg and K. Seah",
  title =        "Global Resource Management",
  institution =  "University of Texas at Austin, Dept. of Electrical and
                 Computer Engineering",
  address =      "Austin, TX",
  month =        sep,
  year =         "1991",
}

@Article{lafortune88,
  author =       "S. Lafortune",
  title =        "Modeling and Analysis of Transaction Execution in
                 Database systems",
  journal =      "IEEE Transactions on Automatic Control",
  volume =       "33",
  number =       "5",
  month =        may,
  year =         "1988",
}

@InProceedings{li88,
  author =       "Y. Li and W. M. Wonham",
  title =        "Controllability and observability in the
                 State-Feedback Control of Discrete-Event Systems",
  booktitle =    "Proc. 27th IEEE Conference on Decision and Control",
  address =      "Austin, TX",
  month =        dec,
  year =         "1988",
  organization = "IEEE",
}

@InProceedings{Ball:AdaptiveTW,
  author =       "Duane Ball and Susan Hoyt",
  title =        "The Adaptive Time Warp Concurrency Control Algorithm",
  booktitle =    PSCSMCDS,
  volume =       "22(1)",
  month =        jan,
  year =         "1990",
  pages =        "174--177",
  organization = "Society for Computer Simulation",
  comment =      "distributed simulation optimistic conservative",
}

@InProceedings{Bell:GVTAlg,
  author =       "S. Bellenot",
  title =        "Global Virtual Time Algorithms",
  booktitle =    PSCSMCDS,
  volume =       "22(1)",
  month =        jan,
  year =         "1990",
  pages =        "122--127",
  organization = "Society for Computer Simulation",
  comment =      "gvt global virtual time algorithm",
}

@Article{Chan:AsynchSim,
  author =       "K. M. Chandy and J. Misra",
  title =        "Asynchronous Distributed Simulation via a sequence of
                 Parallel Computations",
  journal =      CACM,
  month =        apr,
  year =         "1981",
  volume =       "24",
  number =       "11",
  comment =      "distributed simulation deadlock detection recovery",
}

@InProceedings{Chan:SpaceTime,
  author =       "J. Chandy",
  title =        "Space, Time and Simulation",
  booktitle =    PSCSMCDS,
  volume =       "21(2)",
  month =        mar,
  year =         "1989",
  pages =        "53--57",
  organization = "Society for Computer Simulation",
  comment =      "space time distributed",
}

@InProceedings{Conk:Sharks,
  author =       "D. Conklin and J. Cleary and B. Unger",
  title =        "The Sharks World",
  booktitle =    PSCSMCDS,
  volume =       "22(1)",
  month =        jan,
  year =         "1990",
  pages =        "158--160",
  organization = "Society for Computer Simulation",
  comment =      "sharks world benchmark distributed simulation",
}

@InProceedings{Dick:SRADS,
  author =       "P. Dickens and P. Reynolds",
  title =        "{SRADS} with Local Rollback",
  booktitle =    PSCSMCDS,
  volume =       "22(1)",
  month =        jan,
  year =         "1990",
  pages =        "161--164",
  organization = "Society for Computer Simulation",
  comment =      "distributed simulation local rollback",
}

@Article{Fuji:ACMSurvey,
  author =       "R. M. Fujimoto",
  title =        "Parallel Discrete Event Simulation",
  journal =      CACM,
  month =        oct,
  year =         "1990",
  volume =       "33",
  number =       "10",
  comment =      "distributed parallel simulation survey optimistic
                 conservative",
}

@Article{Jeff:VTime,
  author =       "D. R. Jefferson",
  title =        "Virtual Time",
  journal =      TOPLAS,
  month =        jul,
  year =         "1985",
  volume =       "7",
  number =       "3",
  comment =      "twos time warp virtual time optimistic distributed
                 simulation database",
}

@InProceedings{Jeff:TWOS,
  author =       "D. Jefferson",
  title =        "The Time Warp Operating System",
  booktitle =    "Eleventh Symposium on Operating System Principles",
  note =         "vol 21, no 5",
  month =        nov,
  year =         "1987",
  pages =        "77--93",
  comment =      "distributed simulation",
}

@InProceedings{Jeff:PlenLect,
  author =       "D. Jefferson",
  title =        "Parallel Simulation as a Fundamental Issue in Computer
                 Science",
  note =         "Plenary Lecture",
  booktitle =    PSCSMCDS,
  volume =       "21(1)",
  month =        jan,
  year =         "1989",
  pages =        "174--177",
  organization = "Society for Computer Simulation",
  comment =      "distributed simulation optimistic conservative",
}

@InProceedings{Jeff:VTimeII,
  author =       "D. Jefferson",
  title =        "Virtual Time {II}: Storage Management in Conservative
                 and Optimistic Systems",
  booktitle =    PODC,
  pages =        "75--90",
  publisher =    "ACM Press , New York, NY",
  address =      "Quebec City, PQ CDN",
  year =         "1990",
}

@Article{kosaraju:sema,
  author =       "S. Kosaraju",
  title =        "Limitations of Dijkstra's Semaphore Primitives and
                 Petri Nets",
  journal =      OSREVIEW,
  month =        oct,
  year =         "1973",
  volume =       "7",
  number =       "4",
  pages =        "122--126",
  comment =      "semaphore",
}

@InProceedings{Lin:OptimalTW,
  author =       "Y. Lin and E. Lazowska",
  title =        "Optimality Considerations of Time Warp Parallel
                 Simulation",
  booktitle =    PSCSMCDS,
  volume =       "22(1)",
  month =        jan,
  year =         "1990",
  pages =        "29--34",
  organization = "Society for Computer Simulation",
  comment =      "time warp distributed simulation performance optimal",
}

@TechReport{Lin:GVT,
  author =       "Y. Lin and E. Lazowska",
  title =        "Determining the Global Virtual Time in a Distributed
                 Simulation",
  institution =  "University of Washington",
  type =         "Technical Report",
  number =       "90-01-02",
  address =      "Seattle, WA",
  month =        dec,
  year =         "1989",
  note =         "Dept of Computer Science",
  comment =      "distributed parallel simulation conditional
                 knowledge",
}

@Article{ManIma:debug,
  author =       "Y. Manabe and M. Imase",
  title =        "Global conditions in debugging distributed programs",
  journal =      JPDC,
  year =         "1992",
  volume =       "15",
  pages =        "62--69",
  comment =      "semaphore",
}

@InProceedings{Madi:SynchModels,
  author =       "V. Madisetti and J. Walrand and D. Messerschmitt",
  title =        "Synchronization in Message Passing Computers: Models,
                 Algorithms and Analysis",
  booktitle =    PSCSMCDS,
  volume =       "22(1)",
  month =        jan,
  year =         "1990",
  pages =        "35--48",
  organization = "Society for Computer Simulation",
  comment =      "distributed simulation synchronization models
                 algorithms analysis",
}

@Article{Misr:ACMSurvey,
  author =       "J. Misra",
  title =        "Distributed Discrete Event Simulation",
  journal =      "ACM Computing Surveys",
  montrh =       mar,
  year =         "1986",
  volume =       "21",
  number =       "3",
  comment =      "survey",
}

@Article{parnas:sema,
  author =       "D. L. Parnas",
  title =        "On a Solution to the Cigarette Smokers' Problem
                 without Conditional Statements",
  journal =      CACM,
  month =        mar,
  year =         "1975",
  volume =       "18",
  number =       "3",
  pages =        "181--183",
  comment =      "semaphore",
}

@TechReport{patil:sema,
  author =       "S. Patil",
  title =        "Limitations and Capabilities of Dijkstra's Semaphore
                 Primitives for Coordination Among Processes",
  institution =  "MIT",
  year =         "1971",
  comment =      "semaphore",
}

@TechReport{Prak:CondKnow,
  author =       "A. Prakash and R. Subramanian",
  title =        "Conditional Knowledge Approach to Optimistic
                 Distributed Simulation",
  institution =  "University of Michigan",
  type =         "Technical Report",
  number =       "CSE-TR-86-91",
  address =      "Ann Arbor, MI",
  year =         "1989",
  comment =      "distributed parallel simulation conditional
                 knowledge",
}

@InProceedings{Reih:PSimTWOS,
  author =       "Peter Reiher",
  title =        "Parallel Simulation Using the Time Warp Operating
                 System",
  booktitle =    WSCP,
  month =        dec,
  year =         "1990",
  pages =        "38--45",
  comment =      "distributed twos",
}

@InProceedings{Reih:DynLoad,
  author =       "Peter Reiher and David Jefferson",
  title =        "Virtual Time Based Dynamic Load Management in the Time
                 Warp Operating System",
  booktitle =    PSCSMCDS,
  volume =       "22(1)",
  month =        jan,
  year =         "1990",
  pages =        "103--111",
  organization = "Society for Computer Simulation",
  comment =      "twos time warp operating system distributed simulation
                 dynamic load",
}

@InProceedings{Reih:CancStrat,
  author =       "P Reiher and R. Fujimoto and S. Bellenot and D.
                 Jefferson",
  title =        "Cancellation Strategies in Optimistic Execution
                 Systems",
  booktitle =    PSCSMCDS,
  volume =       "22(1)",
  month =        jan,
  year =         "1990",
  pages =        "112--121",
  organization = "Society for Computer Simulation",
  comment =      "distributed simulation lazy aggressive cancellation",
}

@InProceedings{Reyn:Tax,
  author =       "Paul Reynolds",
  title =        "A Spectrum of Options for Parallel Simulation
                 Protocols",
  booktitle =    WSCP,
  month =        dec,
  year =         "1988",
  pages =        "325--332",
  comment =      "taxonomy distributed simulation",
}

@PhdThesis{Sama:AlgPerf,
  author =       "B. Samadi",
  title =        "Distributed Simulation, Algorithms, and Performance
                 Analysis",
  school =       "UCLA",
  year =         "1985",
  address =      "Los Angeles, CA",
  note =         "Computer Science Dept",
}

@InProceedings{Stok:MTW,
  author =       "Lisa Stokol and Brian Stucky",
  title =        "{MTW}: Experimental Results for a Constrained
                 Optimistic Scheduling Paradigm",
  booktitle =    PSCSMCDS,
  volume =       "22(1)",
  month =        jan,
  year =         "1990",
  pages =        "169--183",
  organization = "Society for Computer Simulation",
  comment =      "moving time windows",
}

@InProceedings{Tink:Adapt,
  author =       "P. Tinker and Jonathan Agre",
  title =        "Adaptive Model Prediction Using Time Warp",
  booktitle =    PSCSMCDS,
  volume =       "22(1)",
  month =        jan,
  year =         "1990",
  pages =        "165--168",
  organization = "Society for Computer Simulation",
  comment =      "twos warp distributed simulation best prediction",
}

@InProceedings{Conc:MLTokenGVT,
  author =       "Arturo I. Concepcion and Scott G. Kelly",
  title =        "Computing global virtual time using the multi-level
                 token passing algorithm",
  booktitle =    PSCSMCDS,
  volume =       "23(1)",
  month =        jan,
  year =         "1991",
  pages =        "63--68",
  organization = "Society for Computer Simulation",
  comment =      "twos gvt global virtual time token",
}

@InProceedings{Bell:Tools,
  author =       "S. Bellenot and M. Di Loreto",
  title =        "Tools for measuring the performance and diagnosing the
                 behavior of distributed simulations using Time Warp",
  booktitle =    PSCSMCDS,
  volume =       "21(2)",
  month =        mar,
  year =         "1989",
  pages =        "145--150",
  organization = "Society for Computer Simulation",
  comment =      "tools tools graphics visualization",
}

@Article{Matt:GVT,
  author =       "F. Mattern",
  title =        "Efficient algorithms for distributed snapshots and
                 global virtual time approximation",
  journal =    "Journal of Parallel and Distributed Computing",

  month = aug,
  year =         "1993",
  pages =        "423--434",
  comment =      "consistent cuts vector clocks",
}

@InProceedings{Matt:VTime,
  author =       "F. Mattern",
  title =        "Virtual time and global states of distributed
                 systems",
  booktitle =    "Parallel and Distributed Algorithms: Proc. of the
                 International Workshop on Parallel and Distributed
                 Algorithms",
  publisher =    "Elsevier Science Publishers B.V. (North-Holland)",
  year =         "1989",
  pages =        "215--226",
  comment =      "consistent cuts vector clocks",
}

@Article{Nitz:DsmAlg,
  author =       "B. Nitzberg and V. Lo",
  title =        "Distributed shared memory: {A} survey of issues and
                 algorithms",
  journal =      "IEEE Computer",
  month =        aug,
  year =         "1991",
  pages =        "52--60",
  comment =      "",
}

@InProceedings{KessLivn:DsmAlg,
  author =       "R. Kessler and M. Livny",
  title =        "An analysis of distributed shared memory algorithms",
  booktitle =    ICDCS,
  month =        jun,
  year =         "1989",
  pages =        "489--497",
  organization = "IEEE",
  comment =      "",
}

@InProceedings{Li:IVY,
  author =       "K. Li",
  title =        "{IVY}: a shared virtual memory system for parallel
                 computing",
  booktitle =    ICPP,
  year =         "1988",
  pages =        "94--101",
  volume =       "2",
  comment =      "distributed",
}

@Article{ChanLamp:Snap,
  author =       "K. M. Chandy and L. Lamport",
  title =        "Distributed snapshots: Determining global states of
                 distributed systems",
  journal =      TOCS,
  month =        feb,
  year =         "1985",
  volume =       "3",
  number =       "1",
  pages =        "63--75",
  comment =      "",
}

@Article{DijkScho:Term,
  author =       "E. W. Dijkstra and C. S Scholten",
  title =        "Termination detection for diffusing computations",
  journal =      IPL,
  month =        aug,
  year =         "1980",
  volume =       "11",
  number =       "4",
  pages =        "1--4",
  comment =      "",
}

@Article{Schn82:Sync,
  author =       "F. B. Schneider",
  title =        "Synchronization in distributed programs",
  journal =      TOPLAS,
  month =        apr,
  year =         "1982",
  volume =       "4",
  number =       "2",
  pages =        "197--195",
  comment =      "global assertion predicate",
}

@Book{Rayn88:NWDC,
  author =       "M. Raynal",
  title =        "Networks and Distributed Computation: Concepts, Tools
                 and Algorithms",
  publisher =    "The MIT Press Series in Computer Systems",
  address =      "Cambridge, MA",
  year =         "1988",
  comment =      "synchronization global assertion",
}

@Book{Rayn90:SynchCtl,
  author =       "M. Raynal and J. M. Helary",
  title =        "Synchronization and Control of Distributed Systems and
                 Programs",
  publisher =    "John Wiley and Sons Ltd",
  address =      "Chichester, England",
  year =         "1990",
  comment =      "synchronization global assertion",
}

@Book{Raynal:bk,
  author =       "M. Raynal",
  title =        "Distributed Algorithms and Protocols",
  publisher =    "John Wiley and Sons Ltd",
  address =      "Chichester, England",
  year =         "1988",
}

@InProceedings{CarvRouc82:DistAssertion,
  author =       "O. Carvalho and G. Roucairol",
  title =        "On the distribution of an assertion",
  booktitle =    PODC,
  year =         "1982",
  pages =        "121--131",
  comment =      "global synchronization",
}

@InProceedings{CarvRouc83:AssDecomp,
  author =       "O. Carvalho and G. Roucairol",
  title =        "Assertion, decomposition and partial correctness of
                 distributed control algorithms",
  booktitle =    "Distributed Computing Systems",
  year =         "1983",
  pages =        "67--93",
  publisher =    "Academic Press",
  note =         "(Parker-Verjus Ed.)",
  comment =      "global synchronization",
}


@InProceedings{ChioKorf:GlobalEvent,
  author =       "H. Chiou and W. Korfhage",
  title =        "Efficient Global Event Predicate Detection",
  booktitle =    "14th Intl. Conference on Distributed Computing Systems",
  year =         "1994",
  address =      "Poznan, Poland",
  month =        jun,
}


@InProceedings{ChioKorf:Lower,
  author =       "H. Chiou and W. Korfhage",
  title =        "ENF Event Predicate Detection in Distributed Systems",
  booktitle =    "Principles of Distributed Computing",
  pages =        "91--100",
  year =         "1994",
  address =      "Los Angeles, California",
  month =        aug,
}

@InBook{Verj83:DCSBook,
  author =       "J. P. Verjus",
  title =        "Distributed Computing Systems",
  year =         "1983",
  pages =        "3",
  publisher =    "Academic Press",
  note =         "(Parker-Verjus Ed.)",
  comment =      "global synchronization",
}

@Book{Coul:bk,
  author =       "G. Couloris and J. Dollimore and T. Kindberg",
  title =        "Distributed Systems: Concepts and Design",
  publisher =    "Addison-Wesley",
  address =      "Workingham, England",
  year =         "1994",
}

@Book{Skeen:Phd,
  author =       "D. Skeen",
  title =        "Crash Recovery in Distributed Database System",
  publisher =    "PhD Dissertation, EECS Department, University of California at Berkeley",
  year =         "1982",
}

@Book{Singhal:bk,
  author =       "M. Singhal and N. G. Shivaratri",
  title =        "Advanced Concepts in Operating Systems",
  publisher =    "McGraw Hill",
  address =	"New York, NY",
  year =         "1994",
}


@Book{Tel:DistAlg,
  author =       "G. Tel",
  title =        "Introduction to Distributed Algorithms",
  publisher =    "Cambridge University Press",
  address =      "Cambridge, UK",
  year =         "1994",
  comment =      "synchronization,
                 monotonic,garbage,collection,verification,infimum",
}

@Book{Tel:DistTopics,
  author =       "G. Tel",
  title =        "Topics in Distributed Algorithms",
  publisher =    "Cambridge University Press",
  address =      "Cambridge, England",
  year =         "1991",
  comment =      "synchronization,
                 monotonic,garbage,collection,verification,infimum",
}

@InProceedings{WieEtAl89,
  author =       "F. Wieland and L. Hawley and others",
  title =        "Distributed combat simulation and time warp: The model
                 and its performance",
  booktitle =    PSCSMCDS,
  volume =       "21(2)",
  month =        mar,
  year =         "1989",
  pages =        "14--20",
  organization = "Society for Computer Simulation",
  comment =      "tools tools graphics visualization",
}

@InProceedings{GarWal:wpdd,
  author =       "V. K. Garg and B. Waldecker",
  title =        "Detection of Unstable Predicates",
  booktitle =    "Proc. of the Workshop on Parallel and Distributed Debugging",
  address =      "Santa Cruz, CA",
  month =        may,
  year =         "1991",
  organization = "ACM/ONR",
}

@InProceedings{CoopMarz:ConsDetGP,
  author =       "R. Cooper and K. Marzullo",
  title =        "Consistent Detection of Global Predicates",
  booktitle =    WPDD,
  address =      "Santa Cruz, CA",
  month =        may,
  year =         "1991",
  pages =        "163--173",
  organization = "ACM/ONR",
}

@Article{Fidge:PartialOrders,
  author =       "C. J. Fidge",
  title =        "Partial Orders for Parallel Debugging",
  pages =        "183--194",
  journal =      "Proceedings of the ACM SIGPLAN/SIGOPS Workshop on
                 Parallel and Distributed Debugging, published in ACM
                 SIGPLAN Notices",
  volume =       "24",
  number =       "1",
  year =         "1989",
  month =        jan,
}

@Article{JhoZwa:Recovery,
  author =       "D. B. Johnson and W. Zwaenepoel",
  title =        "Recovery in Distributed Systems Using Optimistic Message Logging and Checkpointing",
  journal =      "Journal of Algorithms",
  volume =	 "11",
  number =	 "3",
  month =        sep,
  year =         "1990",
  pages =        "462--491",
}

@InProceedings{FowZwa:CausalBkpts,
  author =       "J. Fowler and W. Zwaenepoel",
  title =        "Causal Distributed Breakpoints",
  booktitle =    ICDCS-10,
  address =      "Paris, France",
  month =        may,
  year =         "1990",
  pages =        "134--141",
  organization = "IEEE",
  comment =      "debug",
}

@Article{Garg:DeposetAlgs,
  author =       "V. K. Garg",
  title =        "Some Optimal Algorithms for Decomposed Partially
                 Ordered Sets",
  journal =      "Information Processing Letters",
  month =        nov,
  year =         "1992",
  volume =       "44",
  pages =        "39--43",
  comment =      "deposet debug",
}

@Article{LaiYang:Snapshot,
  author =       "T. H. Lai and T. H. Yang",
  title =        "On Distributed Snapshots",
  journal =      "Information Processing Letters",
  month =        may,
  year =         "1987",
  pages =        "153--158",
  comment =      "snapshot ",
}

@Article{Lamp:HappenBefore,
  author =       "L. Lamport",
  title =        "Time, Clocks, and the Ordering of Events in a
                 Distributed System",
  journal =      CACM,
  month =        jul,
  year =         "1978",
  volume =       "21",
  number =       "7",
  pages =        "558--565",
  comment =      "happened before",
}

@InProceedings{MillerChoi:BkptsHalting,
  author =       "B. P. Miller and J. Choi",
  title =        "Breakpoints and Halting in Distributed Programs",
  booktitle =    ICDCS-8,
  address =      "San Jose, CA",
  month =        jul,
  year =         "1988",
  pages =        "316--323",
  organization = "IEEE",
  comment =      "debug",
}

@Article{Raynal:LogClks,
  author =       "M. Raynal",
  title =        "About logical clocks for distributed systems",
  journal =      OSREVIEW,
  year =         "1992",
  volume =       "26",
  number =       "1",
  pages =        "41--48",
  organization = "ACM",
  comment =      "vector matrix",
}

@InProceedings{Bates:DebugTools,
  author =       "P. Bates",
  title =        "Distributed Debugging Tools for Heterogeneous
                 Distributed Systems",
  address =      "San Jose, CA",
  pages =        "308--315",
  month =        jun,
  year =         "1988",
  booktitle =    ICDCS-8,
  organization = "IEEE",
}

@Article{Bouge:RepSnap,
  author =       "L. Bouge",
  title =        "Repeated Snapshots in Distributed Systems with
                 Synchronous Communication and Their Implementation in
                 {CSP}",
  journal =      TCS,
  year =         "1987",
  volume =       "49",
  pages =        "145--169",
}

@MastersThesis{Chin:MS,
  author =       "B. Chin",
  title =        "An Offline Debugger for Distributed Programs",
  school =       "University of Texas at Austin, Dept. of Electrical and
                 Computer Engineering",
  address =      "Austin, TX",
  month =        dec,
  year =         "1991",
}

@Article{GargRag:ConcRegexp,
  author =       "V. K. Garg and M. T. Raghunath",
  title =        "Concurrent Regular Expressions and their Relationship
                 to Petri Net Languages",
  journal =      TCS,
  volume =       "96",
  year =         "1992",
  pages =        "285--304",
}

@InProceedings{HabWei:EventsBkpts,
  author =       "D. Haban and W. Weigel",
  title =        "Global events and global breakpoints in distributed
                 systems",
  booktitle =    ICSS-21,
  volume =       "2",
  month =        jan,
  year =         "1988",
  pages =        "166--175",
}

@article{ord:raynal,
        author          = "M. Raynal and  A. Schiper and S. Toueg",
        title           = "The Causal Ordering Abstraction and a Simple 
                                way to Implement It",
        journal         = IPL,
        year            = 1991,
        month           = jul,
        volume          = 39,
        number          = 6,
        pages           = "343--350"
        }

@inproceedings{CainLip:SeqConsist,
 author = {H. W. Cain and M. H. Lipasti},
 title = {Verifying sequential consistency using vector clocks},
 booktitle = {Proceedings of the fourteenth annual ACM symposium on Parallel algorithms and architectures},
 year = {2002},
 isbn = {1-58113-529-7},
 pages = {153--154},
 location = {Winnipeg, Manitoba, Canada},
  publisher = {ACM Press},
 }

@InProceedings{HurfPlouRayn:AtomSeqPred,
  author =       "M. Hurfin and N. Plouzeau and M. Raynal",
  title =        "Detecting atomic sequences of predicates in
                 distributed computations",
  pages =        "32--42",
  booktitle =    WPDD,
  year =         "1993",
  address =      "San Diego, CA",
  month =        may,
  note =         "(Reprinted in SIGPLAN Notices, Dec. 1993)",
  organization = "ACM/ONR",
}

@InProceedings{art:hel90,
  author =       "J. M. Helary and N. Plouzeau and M. Raynal",
  title =        "Computing Particular Snapshots in Distributed
                 Systems",
  booktitle =    "Proc. of the 9-th annual International Phoenix
                 Conference on Computers and Communications",
  address =      "Scottsdale, AR",
  month =        mar,
  year =         "1990",
  pages =        "116--123",
}

@MastersThesis{Hoagland:MS,
  author =       "G. Hoagland",
  title =        "A Debugger for Distributed Programs",
  school =       "University of Texas at Austin, Dept. of Electrical and
                 Computer Engineering",
  address =      "Austin, TX",
  month =        aug,
  year =         "1991",
}

@Book{ISIS,
  author =       "K. Birman and R. V. Renesse (Editors)",
  title =        "Reliable Distributed Computing with the Isis Toolkit",
  publisher =    "IEEE Computer Society Press",
  year =         "1994",
}

@Book{bk:korth86,
  author =       "H. Korth and A. Silberschatz",
  title =        "Database System Concepts",
  publisher =    "McGraw-Hill",
  year =         "1986",
}

@Article{art:acmsrvy89,
  author =       "C. E. McDowell and D. P. Helmbold",
  title =        "Debugging Concurrent Programs",
  journal =      "ACM Computing Surveys",
  month =        dec,
  year =         "1989",
  volume =       "21",
  number =       "4",
  pages =        "593--622",
}

@Article{JahRaj:real,
  author =       "F. Jahanian and R. Rajkumar and S. Raju",
  title =        "Run-time monitoring of timing constranits in distributed 
			real-time systems",
  journal =      "Real-Time Systems Journal",
  year =         "1994",
}

@TechReport{art:schw92,
  author =       "R. Schwartz and F. Mattern",
  title =        "Detecting Causal Relationships in Distributed
                 Computations: In Search of the Holy Grail",
  institution =  "University of Kaiserslautern",
  month =        dec,
  year =         "1992",
  number =       "SFB124-15/92",
  note =         "Department of Computer Science",
  address =      "Kaiserslautern, Germany",
}

@Article{art:sm94,
  author =       "R. Schwartz and F. Mattern",
  title =        "Detecting Causal Relationships in Distributed
                 Computations: In Search of the Holy Grail",
  year =         "1994",
  volume =       "7",
  number =       "3",
  journal =         "Distributed Computing",
  pages =        "149--174",
}


@InProceedings{SpezKearns:EffSnap,
  author =       "M. Spezialetti and P. Kearns",
  title =        "Efficient Distributed Snapshots",
  booktitle =    ICDCS-6,
  year =         "1986",
  pages =        "382--388",
}

@InProceedings{SpezKearns:EventOccur,
  author =       "M. Spezialetti and P. Kearns",
  title =        "A General Approach to Recognizing Event Occurrences in
                 Distributed Computations",
  booktitle =    ICDCS-9,
  year =         "1988",
  pages =        "300--307",
}

@InProceedings{PeteKearns:Rollback,
  author =       "S. L. Peterson and P. Kearns",
  title =        "Rollback Based on Vector Time",
  booktitle =    "Proc. 12th IEEE Symposium on Reliable Distributed Systems",
  month =      oct,
  year =         "1993",
}


@PhdThesis{Wald:PhD,
  author =       "B. Waldecker",
  title =        "Detection of Unstable Predicates in Debugging
                 Distributed Programs",
  school =       "University of Texas at Austin, Dept. of Electrical and
                 Computer Engineering",
  address =      "Austin, TX",
  month =        may,
  year =         "1991",
}

@Article{OwickGries:ProofTech,
  author =       "S Owicki and D. Gries",
  title =        "An axiomatic proof technique for parallel programs",
  journal =      "Acta Informatica",
  year =         "1976",
  volume =       "6",
  pages =        "319--340",
  comment =      "interference free annotations",
}

@Book{ChandyMisra:UNITY,
  author =       "K. M. Chandy and J. Misra",
  title =        "Parallel Program Design: {A} Foundation",
  publisher =    "Addison-Wesley",
  address =      "Reading, MA",
  year =         "1989",
  comment =      "UNITY",
}

@Book{BernLewis:ConcInProg,
  author =       "A. J. Bernstein and P. M. Lewis",
  title =        "Concurrency in Programming {\em and} Database
                 Systems",
  publisher =    "Jones and Bartlett Publishers",
  address =      "Boston, MA",
  year =         "1993",
  comment =      "proof and verification theory, good reference",
}

@InCollection{BKR:Consensus1,
  author =       "J. C. Bermond and J. C. Konig and M. Raynal",
  title =        "General and Efficient Decentralized Consensus
                 Protocols ",
  booktitle =    "2nd International Workshop on Distributed Algorithms",
  publisher =    "Springer-Verlag, Lecture Notes in Computer Science 312",
  year =         "1987",
  pages =        "41--56",
}

@InCollection{BerKon:Consensus,
  author =       "J. C. Bermond and J. C. Konig",
  title =        "General and Efficient Decentralized Consensus
                 Protocols {II}",
  booktitle =    "Distributed Algorithms, International
                 Workshop",
  publisher =    "North Holland",
  year =         "1988",
  pages =        "199--210",
}

@InCollection{Tel:TotalAlg,
  author =       "G. Tel",
  title =        "Total Algorithms",
  booktitle =    "Distributed Algorithms, International
                 Workshop",
  publisher =    "North Holland",
  year =         "1988",
  pages =        "187--198",
}

@Article{GargRama:ConC,
  author =       "V. K. Garg and C. V. Ramamoorthy",
  title =        "Con{C}: {A} Language for Concurrent Programming",
  journal =      "Computer Languages Journal",
  year =         "1991",
  volume =       "16",
  number =       "1",
  pages =        "5--18",
  month =        jan,
}

@Article{GargGhosh:Symmetry,
  author =       "V. K. Garg and J. Ghosh",
  title =        "Repeated Computation of Global Functions in a
                 Distributed Environment",
  journal =      "IEEE Transactions on Parallel and Distributed
                 Systems",
  volume =       "5",
  number =       "8",
  month  =       aug,
  pages  =       "823--834",
  year =         "1994",
}


@Unpublished{BabRayn:SGP,
  author =       {\"{O}. Babao\u{g}lu and M. Raynal},
  title =        "Sequence-Based Global Predicates for Distributed
                 Computations: Definitions and Detection Algorithms",
  note =         "~",
  year =         "1993",
}

@Book{Ouster:Tcl,
  author =       "J. K. Ousterhout",
  title =        "An Introduction to Tcl/Tk",
  publisher =    "Addison-Wesley Publishing Company, Inc.",
  year =         "1993",
}

@Manual{PVM:Manual,
  author =       "A. Geist et. al.",
  title =        "{PVM} 3 Users Guide and Reference Manual",
  institution =  "Oak Ridge National Laboratory",
  year =         "1993",
}

@Book{Schach:SWEng,
  author =       "S. R. Schach",
  title =        "Software Engineering",
  publisher =    "Irwin and Aksen Associates",
  address =      "Boston, MA",
  year =         "1990",
}

@InProceedings{Jard94a,
  author =       "C. Jard and T. Jeron and G. V. Jourdan and J. X.
                 Rampon",
  title =        "A general approach to trace-checking in distributed
                 computing systems",
  booktitle =    "Proc. of the International Conference on Distributed
                 Computing Systems",
  year =         "1994",
  address =      "Poznan, Poland",
  month =        jun,
}

@InProceedings{Babaoglu94,
  author =       {\"{O}. Babao\u{g}lu and M. Raynal},
  title =        "Specification and detection of behavioral patterns in
                 distributed computations",
  booktitle =    "Proc. of 4th IFIP WG 10.4 Int. Conference on
                 Dependable Computing for Critical Applications",
  year =         "1994",
  publisher =    "Springer Verlag Series in Dependable Computing",
  address =      "San Diego, CA",
  month =        jan,
}

@Article{BabaMich95,
  author =       {\"{O}. Babao\u{g}lu and M. Raynal},
  title =        "Specification and Verification of Dynamic Properties in
                 Distributed Computations",
  journal =    "Journal of Parallel and Distributed Computing",
  year =         "1995",
  publisher =    "Academic Press",
  volume  = 	"28",
  pages = 	"173--185",
}

@InBook{BMST,
  author =       { N. Budhiraja and K. Marzullo and F. Scneider and S. Toueg},
  title =        "The Primary-Backup Approach",
  booktitle = 	 "Distributed Systems",
  chapter =      "8",
  publisher =    "(S.J. Mullender Ed.)",
  year =         "1993",
  series =       "ACM Press, Frontier Series",
}

@InBook{Babaoglu93a,
  author =       {\"{O}. Babao\u{g}lu and K. Marzullo},
  title =        "Consistent global states of distributed systems:
                 fundamental concepts and mechanisms", 
  booktitle = 	 "Distributed Systems",
  chapter =      "4",
  publisher =    "(S.J. Mullender Ed.)",
  year =         "1993",
  series =       "ACM Press, Frontier Series",
}

@InBook{TaiCar:test,
  author =       "K. C. Tai and R. H. Carver",
  title =        "Testing of distributed programs", 
  booktitle = 	 "Handbook of Parallel and Distributed Computing",
  chapter =      "33",
  publisher =    "(A. Zoyama Ed.)",
  year =         "1996",
  series =       "McGraw-Hill",
  pages =	 "955--978",
}


@InProceedings{DamFra93,
  author =       "S. K. Damodaran-Kamal and J. Francioni",
  title =        "Nondeterminacy: Testing and Debugging Message Passing
                 Parallel Programs",
  pages =        "118--128",
  ISBN =         "0-89791-633-6",
  editor =       "Barton P. Miller and Charles McDowell",
  booktitle =    "Proceedings of the Workshop on Parallel and
                 Distributed Debugging",
  month =        may,
  series =       "ACM SIGPLAN Notices",
  volume =       "28-12",
  publisher =    "ACM Press",
  address =      "New York, NY",
  year =         "1993",
}

@Book{mull:bk,
  author = 	"S. Mullender",
  title =    "Distributed Systems, edited book",
  publisher =      "Addison-Wesley",
  address =      "Reading, MA",
  year =         "1994",
}

@InProceedings{Diehl93a,
  author =       "C. Diehl and C. Jard and J. X. Rampon",
  title =        "Reachability Analysis on Distributed Executions",
  pages =	"629--643",
  booktitle =    "Theory and Practice of Software Development",
  year =         "1993",
  organization = "TAPSOFT",
  publisher =    "Springer Verlag, LNCS 668 (Gaudel and Jouannaud
                 editors)",
  month =        apr,
}


@Article{DDS87,
  author =       "D. Dolev and C. Dwork and L. Stockmeyer",
  title =        "On the Minimal Synchronization Needed for Distributed
                 Consensus",
  journal =      "JACM",
  volume =       "34",
  number =       "1",
  month =        jan,
  year =         "1987",
  pages =        "77--97",
}

@Article{DLP86,
  title =        "Reaching Approximate Agreement in the Presence of
                 Faults",
  author =       "D. Dolev and N. A. Lynch and S. S. Pinter
                 and E. W. Stark and W. E. Weihl",
  area =         "Distributed Computing",
  pages =        "499--516",
  journal =      "JACM",
  month =        jul,
  year =         "1986",
  volume =       "33",
  number =       "3",
}

@Book{Lynch:bk,
  author =       "N. A. Lynch",
  title =        "Distributed Algorithms",
  publisher =    "Morgan Kaufmann Publishers",
  address =      "Los Altos, CA",
  pages =        "xvii + 872 (or xxiii + 872??)",
  year =         "1996",
  ISBN =         "1-55860-348-4",
  LCCN =         "QA76.9.D5 L96 1996",
  bibdate =      "Tue Jan 28 14:31:40 1997",
  note =         "Prepared with {\LaTeX}.",
  series =       "Morgan Kaufmann series in data management systems",
  acknowledgement = ack-nhfb,
}

@Book{AttiWelc:bk,
  author =       "H. Attiya and J. Welch",
  title =        "Distributed Computing---Fundamentals, Simulations and Advanced Topics",
  publisher =    "McGraw Hill",
  address =      "Berkshire, SL6 2QL, England",
  year =         "1998",
}

@Article{DLS88,
  author =       "C. Dwork and N. Lynch and L. Stockmeyer",
  title =        "Consensus in the Presence of Partial Synchrony",
  journal =      "Journal of the ACM",
  volume =       "35",
  number =       "2",
  pages =        "288--323",
  month =        apr,
  year =         "1988",
}

@Article{Dilworth50,
  author =       "R. P. Dilworth",
  title =        "A decomposition theorem for partially ordered sets",
  journal =      "Ann. Math. 51",
  year =         "1950",
  pages =        "161--166",
}

@InCollection{Atkinson87,
  author =       "M. D. Atkinson",
  title =        "The complexity of orders",
  booktitle =    "Algorithms and Orders",
  year =         "1987",
  editor =       "I. Rival",
  volume =       "255",
  series =       "NATO ASI Series, Mathematical and Physical Sciences",
  pages =        "195--230",
}

@Book{Lawler76,
  author =       "E. L. Lawler",
  title =        "Combinatorial Optimization: Networks and Matroids",
  publisher =    "Holt, Rinehart and Winston",
  year =         "1976",
}


@Book{RG95:DES,
  author =       "R. Kumar and V. K. Garg",
  title =        "Modeling and Control of Logical Discrete Event Systems",
  publisher =    "Kluwer Academic Publisher",
  address = 	"Norwell Massachusetts",
  year =         "1995",
}

@TechReport{GarRog:IPL,
  author =       "V. K. Garg and J. R.  Mitchell",
  title =        "Efficient Detection of Conjunctions of Global 
		Predicates in a Distributed  System",
  institution =  "Parallel and Distributed Systems Laboratory, The
                 University of Texas at Austin",
  year =         "1996",
  number =       "TR-PDS-96-005",
}

@TechReport{RogGarg:tr,
  author =       "J. R.  Mitchell and V. K. Garg",
  title =        "Detection of Global Predicates in a Faulty
                  Environment",
  institution =  "Parallel and Distributed Systems Laboratory, The
                 University of Texas at Austin",
  year =         "1997",
  number =       "TR-PDS-97-001",
}

@InProceedings{GarRog:DCS98,
  author =       "V. K. Garg and J. R.  Mitchell",
  title =        "Detection of Global Predicates in a Faulty
                  Environment",
  booktitle =    "Proc. of the IEEE International Conference on 
                 Distributed Computing Systems",
  year =         "1998",
  address =      "Amsterdam",
  month =        may,
  pages =	 "416--423",
}


@TechReport{AshGarg:tr,
  author =       "A. Tarafdar and V. K. Garg",
  title =        "Predicate Control in Distributed Systems",
  institution =  "Parallel and Distributed Systems Laboratory, The
                 University of Texas at Austin",
  year =         "1997",
  number =       "TR-PDS-97-006",
}

@techreport{tg97b,
 author = "A. Tarafdar and V. K. Garg",
 title = "Addressing false causality while detecting predicates in distributed
          programs",
 institution = "Parallel and Distributed Systems Laboratory, ECE
                  Dept. University of Texas at Austin",
  year =         "1997",
  number =    "ECE-PDS-1997-011",
  note =     "available via ftp or WWW at maple.ece.utexas.edu
          as technical report TR-PDS-1997-011"
}

@inproceedings{sb97,
  author = "S. Savage and M. Burrows and G. Nelson and P. Sobalvarro and
            T. Anderson",
  title = "Eraser: a dynamic data race detector for multi-threaded programs",
  booktitle = "Proc. of the 16th ACM Symposium on Operating System Principles",
  month = "October",
  year = "1997",
  pages = "27 -- 37",
  address = "Saint-Malo, France"
}


@inproceedings{tg98-asset,
  author = "A. Tarafdar and V. K. Garg",
  title = "Debugging in a distributed world: observation and control",
  booktitle = "Proc. of the Workshop on Application-Specific Software
               Engineering and Technology",
  year = "1998",
  month = "March",
  organization = "IEEE",
  address = "Dallas, TX"
}

@inproceedings{tg98-spdp,
  author = "A. Tarafdar and V. K. Garg",
  title = "Predicate control for active debugging of distributed programs",
  booktitle = "Proc. of the 9th Symposium on Parallel and Distributed
               Processing",
  year = "1998",
  month = "April",
  organization = "IEEE",
  pages = "763 -- 769",
  address = "Orlando, FL"
}

@inproceedings{tg98-icdcs,
  author = "A. Tarafdar and V. K. Garg",
  title = "Addressing false causality while detecting predicates
           in distributed programs",
  booktitle = "Proc. of the 18th International Conference on Distributed Computing Systems",
  year = "1998",
  month = "May",
  organization = "IEEE",
  pages = "94 -- 101",
  address = "Amsterdam, The Netherlands"
}


@inproceedings{tg99-disc,
  author = "A. Tarafdar and V. K. Garg",
  title = "Software fault-tolerance of concurrent programs using controlled reexecution",
  booktitle = "Proceedings of the 13th International Symposium on DIStributed Computing (DISC)",
  month = "September",
  year = "1999",
  pages = "210 -- 224",
  address = "Bratislava, Slovakia",
}

@TechReport{tg98-tr,
  author = "A. Tarafdar and V. K. Garg",
  title = "Happened before is the wrong model for potential causality",
  institution = "Parallel and Distributed Systems Laboratory, ECE
                  Dept. University of Texas at Austin",
  month = "July",
  year = "1998",
  number = "ECE-PDS-1998-006",
  note = "available via ftp or WWW at maple.ece.utexas.edu
          as technical report TR-PDS-1998-006"
}


@TechReport{GargChase:XXChanPred,
  author =       "V. K. Garg and C. Chase and R. Kilgore and J. R.
                 Mitchell",
  title =        "Detecting conjunctive channel predicates in a
                 distributed programming environment",
  institution =  "Parallel and Distributed Systems Laboratory, The
                 University of Texas at Austin",
  year =         "1994",
  number =       "TR-PDS-94-02",
}

@TechReport{GarCha:XXDist,
  author =       "V. K. Garg and C. Chase",
  title =        "Distributed Algorithms for Detecting conjunctive predicates",
  institution =  "Parallel and Distributed Systems Laboratory, The
                 University of Texas at Austin",
  year =         "1994",
  number =       "TR-PDS-94-03",
}

@InProceedings{GarCha:Distalg,
  author =       "V. K. Garg and C. Chase",
  title =        "Distributed Algorithms for Detecting conjunctive predicates",
  booktitle =    "Proc. of the IEEE International Conference on 
                 Distributed Computing Systems",
  year =         "1995",
  address =      "Vancouver, BC, Canada",
  month =        jun,
  pages =	 "423--430",
}

@InProceedings{ChaGar:XXLimit,
  author =       "C. Chase and V. K. Garg",
  title =        "On Techniques and their Limitations for the Global Predicate Detection Problem",

  booktitle =    "Proc. of the Workshop on Distributed Algorithms",
  year =         "1995",
  address =      "Le Mont-Saint-Michel, France",
  month =        sep,
  pages =	 "303 -- 317",
}

@Article{ChaGar:DC,
  author =       "C. Chase and V. K. Garg",
  title =        "Efficient Detection of Global Predicates in a Distributed System",
  journal =       "Distributed Computing",
  volume =       "11",
  number =       "4",
 year =         "1998",
 }

@InProceedings{KilCha,
  author =       "R. Kilgore and C. Chase",
  title =        "Re-execution of Distributed Programs to Detect Bugs 
		Hidden by Racing Messages",
  booktitle =    "Proc. of the International Conference on 
                 System Sciences",
  year =         "1997",
  address =      "Hawaii",
  month =        jan,
}

@InProceedings{GCMK:maui,
  author =       "V. K. Garg and C. Chase and R. Kilgore and J. R.
                 Mitchell",
  title =        "Detecting conjunctive channel predicates in a
                 distributed programming environment",
  booktitle =    "Proc. of the International Conference on 
                 System Sciences",
  year =         "1995",
  address =      "Maui, Hawaii",
  month =        jan,
  volume =       "2",
  pages =         "232--241",
}


@Article{GCMK:ChanPred,
  author =       "V. K. Garg and C. Chase and R. Kilgore and J. R.
                 Mitchell",
  title =        {Efficient Detection of Channel Predicates in
                  Distributed Systems},   
  journal =     JPDC,
  volume =    45,
  number =    2,
  month =     sep,
  year =      "1997",
  pages =     "134--147",

}


@InProceedings{MG:dcs01pred,
  author =       "N. Mittal and V. K. Garg",
  title =        "On Detecting Global Predicates in Distributed
                 Computations",
  pages =        "3--10",
  booktitle =    "21st International Conference on Distributed Computing
                 Systems ({ICDCS}' 01)",
  ISBN =         "0-7695-1077-9",
  month =        apr,
  publisher =    "IEEE",
  address =      "Washington - Brussels - Tokyo",
  year =         "2001",
}

@InProceedings{MG:podc00,
  author =       "N. Mittal and V. K. Garg",
  title =        "Debugging Distributed Programs Using Controlled Re-execution",
  pages =        "239 -- 248",
  booktitle =    "19th Annual ACM Symposium on Principles of Distributed Computing (PODC-00)",
  month =        jul,
  publisher =    "ACM",
  year =         "2000"
}

@InProceedings{GarSka:podc01,
  author =       "V. K. Garg and C. Skawratananond",
  title =        "String Realizers of Posets with Applications to Distributed Computing",
  pages =        "72 -- 80",
  booktitle =    "20th Annual ACM Symposium on Principles of Distributed Computing (PODC-00)",
  month =        aug,
  publisher =    "ACM",
  year =         "2001",
}

@InProceedings{GarSka:dcs02,
  author =       "V. K. Garg and C. Skawratananond",
  title =        "On Timestamping Synchronous Communications",
  pages =        "552-560",
  booktitle =    "22nd International Conference on Distributed Computing
                 Systems ({ICDCS}' 02)",
  publisher =    "IEEE",
  year =         "2002",
}

@InProceedings{SG:ipdps02,
  author =       "A. Sen and V. K. Garg",
  title =        "Detecting Temporal Logic Predicates in the Happened
    Before Model",
  pages =        "",
  booktitle =    "International Parallel and Distributed Processing Symposium (IPDPS)",
  publisher =    "IEEE",
  year =         "2002",
}

@InProceedings{MG:dcs01slice,
  author =       "V. K. Garg and N. Mittal",
  title =        "On Slicing a Distributed Computation",
  pages =        "322--329",
  booktitle =    "21st International Conference on Distributed Computing
                 Systems ({ICDCS}' 01)",
  ISBN =         "0-7695-1077-9",
  month =        apr,
  publisher =    "IEEE",
  address =      "Washington - Brussels - Tokyo",
  year =         "2001",
}

@InProceedings{MG:disc01slice,
  author =       "N. Mittal and V. K. Garg",
  title =        "Slicing a Distributed Computation: Techniques and Theory",
  booktitle =    "5th International Symposium on DIStributed Computing (DISC'01)",
  month =        oct,
  year =         "2001",
  pages = 	 "78 -- 92",
}

@Article{NetzerMiller:WhatAreRaces,
  author =       "R. H. B. Netzer and B. P. Miller",
  title =        "{What are Race Conditions? Some Issues and
                 Formalizations}",
  journal =      "ACM Letters on Programming Languages and Systems",
  year =         "1992",
  volume =       "1",
  number =       "1",
  month =        mar,
}

@InProceedings{Garg88a:analysis,
     author =       "V. K. Garg",
     title =        "Analysis of Distributed Systems with Many Identical
                    Processes",
     booktitle =    "Proceedings of the 8th International Conference on
                    Distributed Computing Systems (ICDCS)",
     pages =        "358--365",
     publisher =    "IEEE Computer Society , Washington, DC",
     address =      "San Jose, CA",
     year =         "1988",
}

@InProceedings{MitGar:opt,
     author =       "J. R. Mitchell and V. K. Garg",
     title =        "Deriving distributed algorithms from a general predicate detector",
     booktitle =    "The Nineteenth Intl. Computer Software and Applications Conference",
     pages =        "268 -- 273",
     publisher =    "IEEE Computer Society, Washington, DC",
     address =      "Dallas, TX",
     year =         "1995",
}



@InCollection{LampLynch:DCModels,
  author =       "L. Lamport and N. Lynch",
  title =        "{Distributed Computing: Models and Methods}",
  booktitle =    "Handbook of Theoretical Computer Science",
  publisher =    "Elsevier Science Publishers B.V.",
  year =         "1990",
  editor =       "{J van Leeuwen}",
  chapter =      "18",
}

@Article{OwiLamp:Liveness,
  author =       "S. Owicki and L. Lamport",
  title =        "Proving Liveness Properties of Concurrent Programs",
  journal =      TOPLAS,
  year =         "1982",
  volume =       "4",
  number =       "3",
  pages =        "455--495",
  month =        jul,
}

@Article{FLP85,
  author =       "M. J. Fischer and N. Lynch and M. Paterson",
  title =        "Impossibility of distributed consensus with one faulty
                 process",
  journal =      "Journal of the ACM",
  volume =       "32",
  number =       "2",
  month =        apr,
  year =         "1985",
}


@Article{Hoare:Triples,
  author =       "C. A. R. Hoare",
  title =        "An axiomatic basis for computer programming",
  journal =      "Commun.~ACM",
  number =       "10",
  pages =        "576--583",
  volume =       "12",
  year =         "1969",
  keywords =     "axiomatic method, theory of programming, proofs of
                 programs, formal language definition",
  month =        oct,
  notes =        "(also in: Essays in Computing Science, Edited by C. A.
                 R. Hoare and C. B. Jones, Prentice Hall, 1989)",
}

@InCollection{Floyd:AssignMeaningProg,
  key =          "Floyd",
  author =       "R. W. Floyd",
  title =        "Assigning Meaning to Programs",
  booktitle =    "Proceedings of the Symposium on Applied Mathematics",
  editor =       "J. T. Schwartz",
  volume =       "19",
  year =         "1967",
  pages =        "19--32",
  publisher =    "American Mathematical Society",
  address =      "Providence, R.I.",
}

@Article{Ashcroft:ProvParProg,
  author =       "E. A. Ashcroft",
  title =        "Proving assertions about parallel programs",
  journal =      "J. Comput.~Syst.~Sci.",
  pages =        "110--135",
  publisher =    "Academic Press",
  volume =       "10",
  year =         "1975",
  address =      "New York-San Francisco-London-San Diego",
}

@Book{HTCS:A,
  editor =       "Jan van Leeuwen",
  title =        "Handbook of Theoretical Computer Science - Volume {A}:
                 Algorithms and Complexity",
  publisher =    "Elsevier",
  address =      "Amsterdam",
  year =         "1990",
}

@Book{HTCS:B,
  editor =       "Jan van Leeuwen",
  title =        "Handbook of Theoretical Computer Science - Volume {B}:
                 Formal Models and Semantics",
  publisher =    "Elsevier",
  address =      "Amsterdam",
  year =         "1990",
}

@InBook{MannaPnueli:Temporal,
  key =          "Manna \& Pnueli",
  author =       "Z. Manna and A. Pneuli",
  title =        "Verification of Concurrent Programs,: The Temporal
                 Framework",
  booktitle =    "The Correctness Problem of Computer Science",
  publisher =    "Academic Press",
  year =         "1981",
  bibdate =      "Thu Aug 26 21:59:04 1993",
  owner =        "kline",
}

@Article{OwickGries:VerifyAxiomatic,
  author =       "S. Owicki and D. Gries",
  title =        "Verifying Properties of Parallel Programs: An
                 Axiomatic Approach",
  journal =      "Communications of the ACM",
  volume =       "19",
  number =       "5",
  pages =        "279--285",
  month =        may,
  year =         "1976",
}

@Article{StroYemi:Recovery,
  author =       "R. E. Strom and S. Yemeni",
  title =        "Optimistic Recovery in Distributed Systems",
  journal =      TOCS,
  volume =       "3",
  number =       "3",
  pages =        "204--226",
  year =         "1985",
}

@InProceedings{Pnueli:TL,
  author =       "A. Pnueli",
  title =        "The Temporal Logic of Programs",
  pages =        "46--57",
  booktitle =    "Proc. 18th Annual IEEE-ACM Symposium on Foundations of
                 Computer Science",
  year =         "1977",
}


@Article{RicAgr81,
     author =       "G. Ricart and A. K. Agrawala",
     title =        "An Optimal Algorithm for Mutual Exclusion in Computer
                    Networks",
     journal =      "Communications of the ACM",
     volume =       "24",
     year =         "1981",
}



@InProceedings{TomGarg:GVT,
  author =       "A. I. Tomlinson and V. K. Garg",
  title =        "An Algorithm for Minimally Latent Global Virtual
                 Time",
  booktitle =    WPADS-7,
  address =      "San Diego, CA",
  month =        may,
  year =         "1993",
}

@InProceedings{TomGarg:RGP,
  author =       "A. I. Tomlinson and V. K. Garg",
  title =        "Detecting Relational Global Predicates in Distributed
                 Systems",
  booktitle =    WPDD,
  organization = "ACM/ONR",
  address =      "San Diego, CA",
  month =        may,
  year =         "1993",
  pages =        "21--31",
}

@InProceedings{TomGarg:Induction,
  author =       "V. K. Garg and A. I. Tomlinson",
  title =        "Using Induction to Prove Properties of Distributed
                 Programs",
  booktitle =    ISPDP-5,
  organization = "IEEE",
  address =      "Dallas, TX",
  month =        dec,
  year =         "1993",
  pages =        "478--485",
}

@InProceedings{TomHoagGarg:DRM,
  author =       "A. I. Tomlinson and G. M. Hoagland and V. K. Garg",
  title =        "Distributed Resource Management Using Active
                 Supervisory Predicate Control",
  booktitle =    "Proc. of the 1992 American Control Conference",
  year =         "1992",
  month =        jun,
  address =      "Chicago, IL",
}

@InProceedings{TomGarg:MGA,
  author =       "A. I. Tomlinson and V. K. Garg",
  title =        "Maintaining Global Assertions on Distributed Systems",
  editor =       "N. Balakrishnan and T. Radhakrishnan and D. Sampath
                 and S. Sundaram",
  pages =        "257--272",
  publisher =    "Tata McGraw-Hill",
  year =         "1994",
  address =      "New Delhi",
  booktitle =    "Proc. of the Intl. Conf. on Computer Systems and
                 Education",
  month =        jun,
}

@MastersThesis{Tomlinson:MSThesis,
  author =       "A. I. Tomlinson",
  title =        "Maintaining Global Assertions on Distributed Systems",
  school =       "University of Texas at Austin",
  year =         "1992",
  address =      "Austin, TX",
  month =        dec,
}

@InProceedings{FRGT:RegPatterns,
  author =       "E. Fromentin and M. Raynal and V. K. Garg and A. I.
                 Tomlinson",
  address =      "St. Charles, IL",
  booktitle =    "Proc. of the 23rd Intl. Conf. on Parallel Processing",
  month =        aug,
  title =        "On the fly testing of regular patterns in distributed
                 computations",
  year =         "1994",
  volume =       2,
  pages = 	 "73 -- 76",
}

@InProceedings{GTFR:ControlFlows,
  author =       "V. K. Garg and A. I. Tomlinson and E. Fromentin and M.
                 Raynal",
  title =        "Expressing and detecting general control flow
                 properties of distributed computations",
  booktitle =    "Proc. of the 7th IEEE Symposium on Parallel and
                 Distributed Processing",
  year =         "1995",
  address =      "San Antonio, TX",
  month =        oct,
  pages = 	 "432 -- 438",
}

@InProceedings{FromRayn:Inevitable,
  author =       "E. Fromentin and M. Raynal",
  title =        "Inevitable global states: a concept to detect unstable
                 properties of distributed computations in an observer
 		 independent way",
  booktitle =    "Proc. of the 6th IEEE Symposium on Parallel and
                 Distributed Processing",
  pages =        "242 -- 248",
  year =         "1994",
  address =      "Dallas, TX",
  month =        oct,
}

@InProceedings{GargTom:CausalityVsTime,
  author =       "V. K. Garg and A. I. Tomlinson",
  title =        "Causality versus time: {How} to specify and verify
                 distributed programs",
  booktitle =    "Proc. of the 6th IEEE Symposium on Parallel and
                 Distributed Processing",
  year =         "1994",
  pages =        "249 -- 256",
  address =      "Dallas, TX",
  month =        oct,
}

@Article{TomGarg:UsingCausalDomain,
  author =       "A. I. Tomlinson and V. K. Garg",
  title =        "Using the causal domain to specify and verify
                 distributed programs",
  journal =      "Acta Informatica",
  year =         "1997",
}

@Article{TomGarg:MonitoringFunctions,
  author =       "A. I. Tomlinson and V. K. Garg",
  title =        "Monitoring functions on global states of distributed
                 programs",
  journal =      "Journal for Parallel and Distributed Computing",
  year =         "1997",
  note =         "a preliminary version appeared in
Proc. of the ACM Workshop on Parallel and Distributed Debugging, San Diego,
CA, May 1993, pp.21 -- 31.",
}

@InProceedings{YangMars:GlobalState,
  author =       "Z. Yang and T. A. Marsland",
  title =       "Introduction",
  booktitle =    "Global State and Time in Distributed Systems",
  editor =       "Z. Yang and T. A. Marsland",
  year =         "1994",
  address =      "Los Alamitos, CA",
  publisher =      "IEEE Computer Society Press",
}

@InProceedings{VenkDath:GlobalPred,
  author =       "S. Venkatesan and B. Dathan",
  title =        "Testing and Debugging Distributed Programs Using 
		  Global Predicates", 
  booktitle =    "Thirtieth Annual Allerton Conference on Communication,
		  Control and Computing",
  year =         "1992",
  address =      "Allerton, IL",
  month =        oct,
pages = "137--146",
}


@Article{CompComm-Storage,
author={H. M. Vin and A. Goyal and P. Goyal},
title={Algorithms for Designing Large-Scale Multimedia Servers},
journal={Computer Communications},
volume={18},
number={3},
pages={192-203},
month={March},
year={1995}}


@article{ord:rajive:acm,
        author          = "Rajive Bagrodia",
        title           = "Synchronization of Asynchronous Processes in {CSP}",
        journal         =  acmTPLS,
        year            =  1989,
        month           =  oct,
        volume          =  11,
        number          =  4,
        pages           = "585-597"
        }

@article{ord:rajive:ieee,
        author          = "Rajive Bagrodia",
        title           = "Process Synchronization: Design and Performance 
                                Evaluation of Distributed Algorithms",
        journal         =  ieeeTSE,
        year            =  1989,
        month           =  sep,
        volume          =  15,
        number          =  9,
        pages           = "1053-1065"
        }

@article{ord:tsay,
        author          = "Y. K. Tsay and Rajive Bagrodia",
        title           = "Fault-Tolerant Algorithms for Fair
                                        Interprocess Synchronization",
        journal         =  ieeeTPDS,
        year            =  1994,
        month           =  jul,
        volume          =  5,
        number          =  7,
        pages           = "737--748"
        }

@techreport{ord:bost,
        author          = "B. Charron-Bost and F. Mattern and G. Tel",
        title           = "Synchronous and Asynchronous Communication in 
                                        Distributed Computations",
        institution     = "LITP, University Paris 7",
        year            = 1991,
        month           = sep,
        number          = "TR91.55"
        }

@techreport{ord:goldman,
        author          = "Kenneth J. Goldman",
        title           = "Highly Concurrent Logically Synchronous Multicast",
        institution     = "M.I.T. Laboratory for Computer Science",
        year            = 1989,
        month           = jul,
        number          = "MIT/LCS/TM-401"
        }

@article{ord:buckley,
        author          = "G. Buckley and Abraham Silbershatz",
        title           = "An effective implementation of the generalized 
                                input-output construct of {CSP}",
        journal         = acmTPLS,
        year            = 1980,
        month           = apr,
        volume          = 2,
        number          = 2,
        pages           = "223-235"
        }
@inproceedings{ord:murty,
        author          = "V. V. Murty and Vijay K. Garg",
        title           = "An Algorithm to Guarantee Synchronous Ordering
                                of Messages",
        booktitle       = "Proceedings of Second International Symposium on
                                Autonomous Decentralized Systems",
        publisher       = "IEEE Computer Society Press",
        pages           = "208--214",
        year            = 1995
        }

@inproceedings{ord:schiper,
        author          = "A. Schiper and J. Eggli and A. Sandoz",
        title           = "A new algorithm to implement Causal Ordering",
        booktitle       = "Proceedings of the Third International Workshop
                                on Distributed Algorithms",
        editors         = "J. C. Bermond and M. Raynal",
        publisher       = "Springer-Verlag",
        pages           = "219--232",
        year            =  1989
        }


@InProceedings{StoSch:Hybrid,
  author =       "S. D. Stoller and F. B. Schneider",
  title =        "Faster Possibility Detection by Combining Two Approaches",

  booktitle =    "Proc. of the 9th International Workshop on Distributed Algorithms",
        editors         = "J. Helary and M. Raynal",
        publisher       = "Springer-Verlag",
  year =         "1995",
  address =      "Le Mont-Saint-Michel, France",
  month =        sep,
        pages           = "318--332"
    }

@article{ord:raynal,
        author          = "M. Raynal and  A. Schiper and S. Toueg",
        title           = "The Causal Ordering Abstraction and a Simple 
                                way to Implement It",
        journal         = IPL,
        year            = 1991,
        month           = jul,
        volume          = 39,
        number          = 6,
        pages           = "343--350"
        }

@article{wang:rdt,
        author          = "Y. M. Wang",
        title           = "Consistent Global Checkpoints That Contain a 
				Given Set of Local Checkpoints",
        journal         =  ieeeTC,
        year            =  1997,
        month           =  apr,
        volume          =  46,
        number          =  4,
        }

@InProceedings{DamGar96,
  author =       "O. P. Damani and V. K. Garg",
  title =        "How to Recover Efficiently and Asynchronously when
                 Optimism Fails",
  pages =        "108--115",
  booktitle =    "{ICDCS} '96; Proceedings of the 16th International
                 Conference on Distributed Computing Systems; Hong Kong",
  ISBN =         "0-8186-7398-2",
  month =        may,
  publisher =    "IEEE",
  year =         "1996",
}

@InProceedings{DWG97,
  author =       "O. P. Damani and Y.M. Wang and V. K. Garg",
  title =        "Optimistic Distributed Simulation Based on Transitive Dependancy Tracking",
  pages =        "90--97",
  booktitle =    "Proc. ACM Workshop on Parallel and Distributed Simulation (PADS), 
		Lockenhaus, Austria",
  month =        jun,
  year =         "1997",
}

@InProceedings{AHM93,
  author =       "L. Alvisi, B. Hoppe and K. Marzullo",
  title =        "Nonblocking and orphan-free message logging protocols",
  pages =        "145 -- 154",
  booktitle =    "Proc. IEEE Fault-Tolerant Computing Systems",
  year =         "1993",
}


@InProceedings{WDG97,
  author =       "Y. M. Wang and O. P. Damani and V. K. Garg",
  title =        "Distributed Recovery with K-Optimistic Logging",
  pages =        "60 -- 67",
  booktitle =    "{ICDCS} '97; Proceedings of the 17th International
                 Conference on Distributed Computing Systems; Baltimore, Maryland",
  month =        jun,
  publisher =    "IEEE",
  address =      "Washington - Brussels - Tokyo",
  year =         "1997",
}

@InProceedings{DG98,
  author =       "O. P. Damani and V. K. Garg",
  title =        "Fault-Tolerant Distributed Simulation",
  pages =        "38--45",
  booktitle =    "Proc. ACM Workshop on Parallel and Distributed Simulation (PADS), 
                Banff, Alberta, Canada",
  month =        may,
  year =         "1998",
}



@InProceedings{CT92,
  title =        "The Weakest Failure Detector for Solving Consensus",
  author =       "T. Deepak Chandra and V. Hadzilacos and S. Toueg",
  area =         "Distributed Computing",
  booktitle =      " Proc. of the 11th ACM Symposium on Principles of Distributed
			Computing",
  pages =        "147--158",
  month =        aug,
  year =         "1992",
  general-terms = "Algorithms, Reliability, Theory",
}

@Article{CT96,
  title =        "Unreliable Failure Detectors for Reliable Distributed
                 Systems",
  author =       "T. Deepak Chandra and S. Toueg",
  area =         "Distributed Computing",
  journal =      "JACM",
  pages =        "225--267",
  month =        mar,
  year =         "1996",
  volume =       "43",
  number =       "2",
  general-terms = "Algorithms, Reliability, Theory",
}

@article{xu:zig,
        author          = "R. H. B. Netzer and J. Xu",
        title           = "Necessary and Sufficent Conditions for Consistent
				Global Snapshots",
  	journal =      "IEEE Transactions on Parallel and Distributed
                 Systems",
        year            =  1995,
        month           =  feb,
        volume          =  6,
        number          =  2,
        pages           = "165--169"
        }


@article{lm87,
 author = "T. LeBlanc and J. Mellor-Crummey",
 title = "Debugging parallel programs with instant replay",
 journal = "IEEE Transactions on Computers",
 year = "1987",
 volume = "36",
 number = "4",
 pages = "471 -- 482",
 month = "April"
} 

@inproceedings{nbd96,
  author = "R. H. B. Netzer and T. W. Brennan and S. K. Damodaran-Kamal",
  title = "Debugging race conditions in message-passing programs",
  booktitle = "Proceedings of the Symposium on Parallel and Distributed Tools",
  year = "1996",
  month = "May"
}

@inproceedings{cl95,
  author = "R. Cypher and E. Leu",
  title = "Efficient race detection for message-passing programs with nonblocking
           sends and receives",
  booktitle = "Proceedings of the Symposium on Parallel and Distributed Processing",
  year = "1995",
  month = "May",
  pages = "534 -- 541"
}

@InProceedings{AlvCri97,
  author =       "G. A. Alvarez and F. Cristian",
  title =        "Centralized Failure Injection for Distributed Fault-Tolerant 
	Protocol Testing",
  booktitle =    "Proc. of the IEEE International Conference on 
                 Distributed Computing Systems",
  year =         "1997",
  month =        jun,
  pages =	 "78--85",
}


@InProceedings{DJMT96,
  author =       "S. Dawson and F. Jahanian and T. Mitton and T. Tung",
  title =        "Testing of fault-tolerant and real-time distributed systems via
	Protocol fault injection",
  booktitle =    "Proc. of the International Symposium on 
                 Fault-Tolerant Computing",
  year =         "1996",
  pages = 	 "404 -- 414",
  month =        jun,
}

@InProceedings{HalMos84,
  author =       "J.Y. Halpern and Y. Moses",
  title =        "Knowledge and common knowledge in a distributed environment",
  booktitle =    "Proc. of the ACM Symposium on 
                 Principles of Distributed Computing",
  year =         "1984",
  pages = 	 "50 -- 61",
}

@Article{Leve93,
  author =       "N. G.Leveson and C. S.Turne",
  title =        "An Investigation of the Therac-25 Accidents",
  journal =      "IEEE Computer",
  year =         "1993",
  month =	"July",
}

@Article{Pathfinder,
  journal =      "http://www.research.microsoft.com/research/os/mbj/Mars\_Pathfinder",
}


@Article{Mae85,
  title =        "A Square Root {$N$} Algorithm for Mutual Exclusion in
                 Decentralized Systems",
  author =       "M. Maekawa",
  journal =      "ACM Transactions on Computer Systems",
  pages =        "145--159",
  month =        may,
  year =         "1985",
  volume =       "3",
  number =       "2",
}


@Article{Ray89,
  author =       "K. Raymond",
  title =        "A Tree-Based Algorithm for Distributed Mutual
                 Exclusion",
  journal =      "ACM Transactions on Computer Systems",
  volume =       "7",
  number =       "1",
  pages =        "61--77",
  month =        feb,
  year =         "1989",
  coden =        "ACSYEC",
  ISSN =         "0734-2071",
  bibdate =      "Thu Jan 14 06:47:30 MST 1999",
  url =          "http://www.acm.org:80/pubs/citations/journals/tocs/1989-7-1/p61-raymond/",
 }

@Article{SuzKas85,
  title =        "A Distributed Mutual Exclusion Algorithm",
  author =       "I. Suzuki and T. Kasami",
  journal =      "ACM Transactions on Computer Systems",
  pages =        "344--349",
  month =        nov,
  year =         "1985",
  volume =       "3",
  number =       "4",
}

@InProceedings{SW89,
  author =       "A. P. Sistla and J. L. Welch",
  title =        "Distributed Recovery Using Message Logging",
  booktitle =    PODC,
  year =         "1989",
  pages =        "223-238",
}

@InProceedings{SJT95,
  author =       "S. W. Smith and D. B. Johnson and J. D. Tygar",
  title =        "Completely Asynchronous Optimistic Recovery with Minimal Rollback",
  booktitle =    "Intl. Symp. on Fault-Tolerant Computing Systems",
  year =         "1995",
  pages =        "361-370",
}

@Article{Sarin87,
  key =          "Sarin \& Lynch",
  author =       "S. Sarin and N. A. Lynch",
  title =        "Discarding Obsolete Information in a Replicated
                 Database System",
  journal =      "IEEE Transactions on Software Engineering",
  volume =       "SE-13",
  number =       "1",
  month =        jan,
  year =         "1987",
  pages =        "39--47",
  keywords =     "Distributed databases; distributed snapshots; mutual
                 consistency; network partitions; replicated data;
                 timestamps",
  abstract =     "A replicated database architecture is described in
                 which updates processed at a site must be saved to
                 allow reconcilliation of newly arriving updates in a
                 way that preserves mutual consistency. The storage
                 space occupied by the saved updates increases
                 indefinitely, and periodic discarding of old updates is
                 needed to avoid running out of storage. A protocol is
                 described which allows sites in the system to agree
                 that updates older than a given timestamp are no longer
                 needed and can be discarded. This protocol uses a
                 ``distributed snapshot'' algorithm of Chandy and
                 Lamport and represents a parctical application of that
                 algorithm. A protocol for permanent removal of sites is
                 also described, which will allow the discarding of
                 updates to continue when one or more sites crash and
                 are expected not to recover.",
  bibdate =      "Tue Jan 6 17:29:21 1987",
  owner =        "manning",
}

~
@article{chang79,
    author = "E. J. H. Chang and R. Roberts",
    title = "An Improved Algorithm for Decentralized Extrema-Finding in 
	Circular Configurations of Processes",
    journal = "Communications of the ACM",
    volume = "22",
    number = "5",
    pages = "281-283",
    year = "1979"
}

@article{HirSin80,
    author = "D. S. Hirschberg and J. B. Sinclair",
    title = "Decentralized Extrema-Finding in Circular Configurations of Processors",
    journal = "Communications of the ACM",
    volume = "23",
    number = "11",
    pages = "627-628",
    year = "1980"
}


@InProceedings{angluin80local,
    author = "D. Angluin",
    title = "Local and global properties in networks of processors",
    booktitle = "Proceedings of the 12th ACM Symposium on Theory of Computing",
    pages = "82 -- 93",
    year = "1980"
}


@article{ peterson82unidirectional,
    author = "G. Peterson",
    title = "An $O(n \log n)$ unidirectional algorithm for the circular extrema problem",
    journal = "ACM Transactions on Programming Languages and Systems,
      4:758--762",
    year = "1982"
}


@article{ dolev82unidirectional,
    author = "D. Dolev and M. Klawe and M. Rodeh",
    title = "An $O(n \log n)$ Unidirectional Distributed Algorithm for Extrema Finding in a Circle",
    journal = "Journal of Algorithms, 3:245--260",
    year = "1982"
}


@TechReport{burns80formal,
    author = "J. Burns",
    title = "A formal model for message passing systems",
     institution =  "Indiana University",
  note =         "Department of Computer Science",
  number =       "TR--91",
    year = "1980"
}

@inproceedings{ pachl82technique,
    author = "J. K. Pachl and E. Korach and D. Rotem",
    title = "A Technique for Proving Lower Bounds for Distributed Maximum-Finding Algorithms",
    booktitle = "{ACM} Symposium on Theory of Computing",
    pages = "378-382",
    year = "1982"
}


@Article{BaG87,
  author =       "V. Barbosa and E. Gafni",
  title =        "Concurrency in Heavily Loaded Neighborhood-Constrained
                 Systems",
  journal =      "ACM Transactions on Programming Languages and
                 Systems",
  volume =       "11",
  number =       "4",
  pages =        "562--584",
  month =        oct,
  year =         "1989",
  coden =        "ATPSDT",
  ISSN =         "0164-0925",
  url =          "http://www.acm.org/pubs/toc/Abstracts/0164-0925/69560.html",
  acknowledgement = ack-pb,
  keywords =     "algorithms; performance; theory",
}


@Article{CM84,
  author =       "K. M. Chandy and J. Misra",
  title =        "The Drinking Philosopher's Problem",
  journal =      "ACM Transactions on Programming Languages and
                 Systems",
  volume =       "6",
  number =       "4",
  pages =        "632--646",
  month =        oct,
  year =         "1984",
}


@InProceedings{StyerPeterson,
  author =       "E. Styer and G. L. Peterson",
  title =        "Improved Algorithms for Distributed Resource
                 Allocation",
  pages =        "105--116",
  booktitle =    "Proceedings of the Seventh Annual {ACM} Symposium on
                 Principles of Distributed Computing ({PODC} '88)",
  ISBN =         "0-89791-277-2",
  month =        aug,
  publisher =    "ACM",
  address =      "New York",
  year =         "1998",
}


@InProceedings{ChoySingh,
  author =       "M. Choy and A. K. Singh",
  title =        "Efficient Fault Tolerant Algorithms for Resource
                 Allocation in Distributed Systems",
  pages =        "593--602",
  ISBN =         "0-89791-512-7",
  editor =       "N. Alon",
  booktitle =    "Proceedings of the 24th Annual {ACM} Symposium on the
                 Theory of Computing",
  address =      "Victoria, BC, Canada",
  month =        may,
  year =         "1992",
  publisher =    "ACM Press",
}


@InProceedings{AwerbuchSaks,
  author =       "B. Awerbuch and M. Saks",
  title =        "A dining philosophers algorithm with polynomial
                 response time",
  editor =       "{IEEE}",
  booktitle =    "Proceedings: 31st Annual Symposium on Foundations of
                 Computer Science: October 22--24, 1990, St. Louis,
                 MO",
  publisher =    "IEEE Computer Society Press",
  address =      "1109 Spring Street, Suite 300, Silver Spring, MD
                 20910, USA",
  year =         "1990",
  ISBN =         "0-8186-2082-X (paperback), 0-8186-6082-1
                 (microfiche)",
  volume =       "1",
  pages =        "65--74",
}


@Article{Lamport79a,
  author =       "L. Lamport",
  title =        "How to Make a Correct Multiprocess Program Execute
                 Correctly on a Multiprocessor",
  journal =      "IEEETC: IEEE Transactions on Computers",
  volume =       "46",
  year =         "1979",
}

@Article{Lamport86c,
  author =       "L. Lamport",
  title =        "On interprocess communication, Part {II}: Algorithms",
  pages =        "86--101",
  journal =      "Distributed Computing",
  volume =       "1",
  year =         "1986",
  keywords =     "Zeitliche Ordnung",
}


@Article{Herlihy-Wing90,
  key =          "Herlihy \& Wing",
  author =       "M. P. Herlihy and J. M. Wing",
  title =        "Linerizability: {A} Correctness Condition for Atomic
                 Objects",
  journal =      "TOPLAS",
  volume =       "12",
  number =       "3",
  month =        jul,
  year =         "1990",
  pages =        "463--492",
  annote =       "Correctness condition that exploits the semantics of
                 abstract types. 46 references.",
}

@Article{AW94,
  author =       "H. Attiya and J. Welch",
  title =        "Sequential Consistency versus Linearizability",
  journal =      "{ACM} Transactions on Computer Systems",
  year =         "1994",
  volume =       "12",
  number =       "2",
  pages =        "91--122",
  month =        may,
}

@Article{GarRay:ppl,
  author =       "V. K. Garg and M. Raynal",
  title =        "Normality: A Consistency Condition for Concurrent Objects",
  journal =      " Parallel Processing Letters",
  year =         "1999",
  volume =       "9",
  number =       "1",
  pages =        "123 -- 134",
  month =        mar,
}



@InProceedings{GarMit:dcs98,
  author =       "N. Mittal and V. K. Garg",
  title =        "Consistency Conditions for Multi-Object Distributed
                 Operations",
  booktitle =    "Proc. of the 18th Int'l Conf. on Distributed Computing
                 Systems (ICDCS-18)",
  month =        may,
  pages =        "582--589",
  year =         "1998",
}


@InCollection{Gray78,
  author =       "J. N. Gray",
  editor =       "G. Goos and J. Hartmanis",
  title =        "Notes on database operating systems",
  booktitle =    "Operating Systems: An Advance Course",
  series =       "Lecture Notes in Computer Science",
  volume =       "60",
  pages =        "393--481",
  publisher =    "Springer-Verlag",
  year =         "1978",
  keywords =     "Rdpsdis.bib Rsingh",
  abstract =     "The initial paper on transactions. Strict two-phase
                 locking.",
}


@Article{Pease:1980:RAP,
  author =       "M. Pease and R. Shostak and L. Lamport",
  title =        "Reaching Agreements in the Presence of Faults",
  journal =      "Journal of the ACM",
  volume =       "27",
  number =       "2",
  pages =        "228--234",
  month =        apr,
  year =         "1980",
  coden =        "JACOAH",
  ISSN =         "0004-5411",
  acknowledgement = ack-nhfb,
  annote =       "Byzantine generals.",
}



@Article{Lamport:1982:BGP,
  author =       "L. Lamport and R. Shostak and M. Pease",
  title =        "The {Byzantine} generals problem",
  journal =      "ACM Transactions on Programming Languages and
                 Systems",
  year =         "1982",
  volume =       "4",
  number =       "3",
  pages =        "382--401",
  month =        jul,
}

@Article{LF1,
  author =       "M.~J. Fischer and N.~A. Lynch",
  title =        "A lower bound on the time to assure interactive
                 consistency",
  journal =      "Information Processing Letters",
  volume =       "14",
  number =       "4",
  year =         "1982",
  pages =        "183--186",
}


@Article{Dolev:1983:AAB,
  author =       "D. Dolev and H. R. Strong",
  title =        "Authenticated algorithms for {Byzantine} agreement",
  journal =      "SIAM Journal on Computing",
  volume =       "12",
  number =       "4",
  pages =        "656--666",
  year =         "1983",
  coden =        "SMJCAT",
  ISSN =         "0097-5397 (print), 1095-7111 (electronic)",
  mrclass =      "68M10",
  mrnumber =     "85a:68004",
  bibdate =      "Thu Apr 09 08:26:41 1998",
  acknowledgement = ack-nhfb,
}

@Book{God:1996:SV,
  author =       {P. Godefroid},
  ALTeditor =    {},
  title =        {Partial-Order Methods for the Verification of Concurrent Systems},
  publisher =    SV,
  year =         {1996},
  OPTkey =       {},
  volume =       {1032},
  OPTnumber =    {},
  series =       {Lecture Notes in Computer Science},
  OPTaddress =   {},
  OPTedition =   {},
  OPTmonth =     {},
  OPTnote =      {},
  OPTannote =    {}
}

@InProceedings{StoUnn+:2000:CAV,
  author =       {S. D. Stoller and L. Unnikrishnan and Y. A. Liu},
  title =        {{E}fficient {D}etection of {G}lobal {P}roperties in
                  {D}istributed {S}ystems {U}sing {P}artial-{O}rder
                  {M}ethods},
  booktitle =    PROC # "~12th~" # CAV,
  pages =        {264-279},
  year =         2000,
  volume =       1855,
  series =       LNCS,
  month =        JUL,
  publisher =    {Springer-Verlag}
}

@TechReport{MG:stab,
  author =       "N. Mittal and V. K. Garg",
  title =        "A Rigorous Proof of ${O}(n^2)$ bound for {D}ijkstra's 3-state Algorithm",
  institution =  "University of Texas at Austin",
  note =         "Electrical and Computer Engineering Department",
  type =         "Technical Report",
  number =       "ECE PDSLAB 2001",
  address =      "Austin, TX",
  month =        jul,
  year =         "2001",
}

@TechReport{SG:slice,
  author =       "A. Sen and V. K. Garg",
  title =        "Automatic Generation of Computation Slices for Detecting
                 Temporal Logic Predicates",
  institution =  "University of Texas at Austin",
  note =         "Electrical and Computer Engineering Department",
  type =         "Technical Report",
  number =       "ECE PDSLAB 2001",
  address =      "Austin, TX",
  month =        nov,
  year =         "2001",
}

@InProceedings{Garg:1998:IFD,
  author =       "V. K. Garg and J. R. Mitchell",
  title =        "Implementable failure detectors in asynchronous
                 systems",
  booktitle =    "Proc. 18th Conference on Foundations of Software
                 Technology and Theoretical Computer Science",
  year =         "1998",
  OPTeditor =    "V. Arvind and R. Ramanujin",
  number =       "1530",
  series =       "Lecture Notes in Computer Science",
  address =      "Chennai, India",
  month =        dec,
  publisher =    "Spring{\-}er-Ver{\-}lag",
  url =          "\url{http://maple.ece.utexas.edu/TechReports/1998/TR-PDS-1998-004.ps.Z}",
}

@Article{IC::Chaudhuri1993,
  title =        "More {\em Choices\/} Allow More {\em Faults\/}: Set
                 Consensus Problems in Totally Asynchronous Systems",
  author =       "S. Chaudhuri",
  pages =        "132--158",
  journal =      "Information and Computation",
  month =        jul,
  year =         "1993",
  volume =       "105",
  number =       "1",
}


@InProceedings{STOC::BorowskyG1993,
  title =        "Generalized {FLP} Impossibility Result for
                 {$t$}-resilient Asynchronous Computations (Extended
                 Abstract)",
  author =       "E. Borowsky and E. Gafni",
  pages =        "91--100",
  booktitle =    "Proceedings of the Twenty-Fifth Annual {ACM} Symposium
                 on the Theory of Computing",
  year =         "1993",
  month =        "16--18~" # may,
  address =      "San Diego, CA",
}

@InProceedings{STOC::HerlihyS1993,
  title =        "The Asynchronous Computability Theorem for
                 {$t$}-Resilient Tasks (Preliminary Version)",
  author =       "M. Herlihy and N. Shavit",
  pages =        "111--120",
  booktitle =    "Proceedings of the Twenty-Fifth Annual {ACM} Symposium
                 on the Theory of Computing",
  year =         "1993",
  month =        "16--18~" # may,
  address =      "San Diego, California",
}

@InProceedings{STOC::SaksZ1993,
  title =        "Wait-Free {$k$}-set Agreement is Impossible: The
                 Topology of Public Knowledge",
  author =       "M. Saks and F. Zaharoglou",
  pages =        "101--110",
  booktitle =    "Proceedings of the Twenty-Fifth Annual {ACM} Symposium
                 on the Theory of Computing",
  year =         "1993",
  month =        "16--18~" # may,
  address =      "San Diego, CA",
}

@Article{JACM::DolevLPSW1986,
  title =        "Reaching Approximate Agreement in the Presence of
                 Faults",
  author =       "D. Dolev and N. A. Lynch and S. S. Pinter
                 and E. W. Stark and W. E. Weihl",
  area =         "Distributed Computing",
  pages =        "499--516",
  journal =      "Journal of the ACM",
  month =        jul,
  year =         "1986",
  volume =       "33",
  number =       "3",
}

@Article{Helary:1997:VPA,
  author =       "J.-M. Helary and A. Mostefaoui and M. Raynal",
  title =        "Virtual Precedence in Asynchronous Systems: Concept
                 and Applications",
  journal =      "Lecture Notes in Computer Science",
  volume =       "1320",
  pages =        "170--182",
  year =         "1997",
  coden =        "LNCSD9",
  ISSN =         "0302-9743",
  bibdate =      "Tue Apr 28 08:51:33 MDT 1998",
  acknowledgement = ack-nhfb,
}

@InProceedings{SRDS99*234,
  author =       "O. Damani and A. Tarafdar and V. K. Garg",
  title =        "Optimistic Recovery in Multi-threaded Distributed
                 Systems",
  pages =        "234--243",
  booktitle =    "Proceedings of the 18th {IEEE} Symposium on Reliable
                 Distributed Systems ({SRDS} '99)",
  ISBN =         "0-7695-0290-3",
  month =        oct,
  publisher =    "IEEE",
  address =      "Washington - Brussels - Tokyo",
  year =         "1999",
}

@Article{Tho79,
  author =       "R. H. Thomas",
  title =        "A Majority Consensus Approach to Concurrency Control
                 for Multiple Copy Databases",
  journal =      "ACM Transactions on Database Systems",
  volume =       "4",
  number =       "2",
  pages =        "180--209",
  month =        jun,
  year =         "1979",
  coden =        "ATDSD3",
  ISSN =         "0362-5915",
  bibdate =      "Sat Apr 14 10:34:48 MDT 2001",
  url =          "http://www.acm.org/pubs/articles/journals/tods/1979-4-2/p180-thomas/p180-thomas.pdf;
                 http://www.acm.org/pubs/citations/journals/tods/1979-4-2/p180-thomas/",
  abstract =     "A ``majority consensus'' algorithm which represents a
                 new solution to the update synchronization problem for
                 multiple copy databases is presented.",

}

@Article{DKG79,
  author =       "D. K. Gifford",
  year =         "December, 1979",
  journal =      "Seventh SOSP",
  keywords =     "Voting",
  number =       "5",
  pages =        "150--162",
  title =        "Weighted Voting for replicated data",
  volume =       "OSR 13",
}

@Article{GB85,
  author =       "H. Garcia-Molina and D. Barbara",
  title =        "How to Assign Votes in a Distributed System",
  journal =      "Journal of the Association for Computing Machinery",
  volume =       "32",
  number =       "4",
  pages =        "841--855",
  month =        oct,
  year =         "1985",
  keywords =     "fault tolerance,",
}


@Article{AE91,
  author =       "D. Agrawal and A. E. Abbadi",
  title =        "An Efficient and Fault-Tolerant Solution for
                 Distributed Mutual Exclusion",
  journal =      "ACM Transactions on Computer Systems",
  volume =       "9",
  number =       "1",
  pages =        "1--20",
  month =        feb,
  year =         "1991",
  coden =        "ACSYEC",
  ISSN =         "0734-2071",
  bibdate =      "Wed Jan 13 18:36:53 MST 1999",
  url =          "http://www.acm.org:80/pubs/citations/journals/tocs/1991-9-1/p1-agrawal/",
  abstract =     "In this paper, we present an efficient and
                 fault-tolerant algorithm for generating quorums to
                 solve the distributed mutual exclusion problem.",

}


@InProceedings{Lov73,
  author = "L. Lovasz",
  title = "Coverings and colorings of hypergraphs",
  booktitle = "4th Southeastern Conference on Combinatorics, Graph Theory, and Computing",
  pages = "3--12",
  year = "1973" 
  }

 

@Book{Nei92,
  author = "M. Neilsen",
  title = "Quorum Structures in Distributed Systems",
  publisher =    "PhD thesis, Dept.
    Computing and Information Sciences, Kansas State University",
  year = "1992",
}




@InProceedings{PW95,
  author =       "D. Peleg and A. Wool",
  title =        "Crumbling walls: a class of practical and efficient
                 quorum systems",
  pages =        "120--129",
  booktitle =    "Proceedings of the 14th Annual {ACM} Symposium on
                 Principles of Distributed Computing ({PODC} '95)",
  ISBN =         "0-89791-710-3",
  month =        aug,
  publisher =    "ACM",
  address =      "New York",
  year =         "1995",
  }


@Article{CDF95,
  author =       "B. Charron-Bost and C. Delporte-Gallet and
                 H. Fauconnier",
  title =        "Local and Temporal Predicates in Distributed Systems",
  journal =      "ACM Transactions on Programming Languages and
                 Systems",
  volume =       "17",
  number =       "1",
  pages =        "157--179",
  month =        jan,
  year =         "1995",
  coden =        "ATPSDT",
  ISSN =         "0164-0925",
  bibdate =      "Fri Jan 5 07:58:42 MST 1996",
  url =          "http://www.acm.org/pubs/toc/Abstracts/0164-0925/201005.html",
  abstract =     "The definitions of the predicates Possibly $\phi$ and
                 Definitely $\phi$, where $\phi$ is a global predicate
                 of a distributed computation, lead to the definitions
                 of two predicate transformers $p$ and $D$.",
}



@Article{GHS,
  author =       "R. G. Gallager and P. A. Humblet and P. M. Spira",
  title =        "A Distributed Algorithm for Minimum-Weight Spanning
                 Trees",
  journal =      "ACM Transactions on Programming Languages and
                 Systems",
  volume =       "5",
  number =       "1",
  pages =        "66--77",
  month =        jan,
  year =         "1983",
  coden =        "ATPSDT",
  ISSN =         "0164-0925",
  acknowledgement = ack-pb,
}

@Article{AFL83,
  author =       "E. Arjomandi and M. J. Fischer and N. A.
                 Lynch",
  title =        "Efficiency of Synchronous Versus Asynchronous
                 Distributed Systems",
  journal =      "Journal of the ACM",
  volume =       "30",
  number =       "3",
  pages =        "449--456",
  month =        jul,
  year =         "1983",
  coden =        "JACOAH",
  ISSN =         "0004-5411",
  bibdate =      "Wed Jan 15 18:12:53 MST 1997",
}

@InProceedings{Luby85,
  author =       "M. Luby",
  title =        "A simple parallel algorithm for the maximal
                 independent set problem",
  editor =       "{ACM}",
  booktitle =    "Proceedings of the seventeenth annual {ACM} Symposium
                 on Theory of Computing, Providence, RI, May
                 6--8, 1985",
  publisher =    "ACM Press",
  address =      "New York, NY, USA",
  year =         "1985",
  ISBN =         "0-89791-151-2 (paperback)",
  pages =        "1--10",
  bibdate =      "Wed Apr 4 18:53:04 MDT 2001",
  url =          "http://www.acm.org/pubs/citations/proceedings/stoc/22145/p1-luby/;
                 http://www.acm.org/pubs/articles/proceedings/stoc/22145/p1-luby/p1-luby.pdf",
  acknowledgement = ack-nhfb,
}

@InProceedings{spaa91*316,
  author =       "K. Gharachorloo and P. Gibbons",
  title =        "Detecting Violations of Sequential Consistency",
  pages =        "316--326",
  ISBN =         "0-89791-438-4",
  editor =       "ACM-SIGACT; ACM-SIGARCH",
  booktitle =    "Proceedings of the 3rd Annual {ACM} Symposium on
                 Parallel Algorithms and Architectures",
  address =      "Hilton Head, SC",
  month =        jul,
  year =         "1991",
  publisher =    "ACM Press",
}

@ARTICLE{ahamad:91,
         AUTHOR = "Mustaque Ahamad, Phillip Hutto, Gil Neiger and James E. Burns",
         TITLE = "Causal Memory",
         ADDRESS = "Georgia Institute of Technology, Atlanta, Georgia",
         JOURNAL = "In Proceedings of 5th International Workshop on Distributed
                   Algorithms",
         PAGES = "101-110",
         YEAR = "1991" }
@ARTICLE{ahamad:93,
         AUTHOR = "Mustaque Ahamad, Phillip Hutto and et al",
         TITLE = "Causal Memory : Definitions, Implementation and Programming",
         ADDRESS = "Georgia Institute of Technology, Atlanta, Georgia",
         JOURNAL = "Technical Report",
         VOLUME = "GIT-CC-93/55",
         YEAR = "1993" }
@ARTICLE{mizuno:sc,
         AUTHOR = "M. Mizuno, M. Raynal and J.Z. Zhou",
         TITLE = "Sequential Consistency in Distributed Systems : Theory and
                  Implementation",
         ADDRESS = "INRIA, France",
         YEAR = "1995"}
@ARTICLE{raynal:95,
         AUTHOR = "M. Raynal and A. Schiper",
         TITLE = "From Causal Consistency to Sequential Consistency 
                  in Shared Memory Systems", 
         ADDRESS = "INRIA, France",
         YEAR = "1995"}
@ARTICLE{lamport:79,
         AUTHOR = "Leslie Lamport",
         TITLE = "How to make a multiprocessor computer that correctly executes
                  multiprocess programs",
         JOURNAL = "IEEE Transcations on Computers",
         YEAR = "1979",
         VOLUME = "C28(9)",
         PAGES = "690-691" }
@ARTICLE{lipton:88,
         AUTHOR = "R.J. Lipton and J.S. Sandberg",
         TITLE = "PRAM : a scalable shared memory",
         ADDRESS = "Princeton University",
         JOURNAL = "Technical Report",
         VOLUME = "CS-TR-180-88",
         YEAR = "September 1988" }
@ARTICLE{fischer:82,
         AUTHOR = "M.J. Fisher and A. Michael",
         TITLE = "Sacrificing serializability to attain high availability
                  of data in an unreliable network",
         JOURNAL = "Principles of Database Systems",
         YEAR = "1982",
         PAGES = "70-75" }
@ARTICLE{eggers:88,
         AUTHOR = "S.J. Eggers and R.H. Katz",
         TITLE = "A characterization of sharing in parallel programs and its
		  application to coherency protocols",
         JOURNAL = "International Symposium on Computer Architecture",
         YEAR = "1988",
         PAGES = "373-383" }
@ARTICLE{ahamad:90,
         AUTHOR = "Phillip Hutto and Mustaque Ahamad",
         TITLE = "Slow Memory : Weakening Consistency to Enhance Concurrency
                  in Distributed Shared Memories",
         ADDRESS = "Georgia Institute of Technology, Atlanta, Georgia",
         JOURNAL = "Proceedings of Tenth International Conference on
                    Distributed Computing Systems",
         YEAR = "May 1990" }
         
@InProceedings{CM85,
  author =       "K. M. Chandy and J. Misra",
  title =        "How Processes Learn",
  pages =        "204--214",
  ISBN =         "0-89871-167-9",
  editor =       "Ray Strong",
  booktitle =    "Proceedings of the 4th Annual {ACM} Symposium on
                 Principles of Distributed Computing",
  address =      "Minaki, ON, Canada",
  month =        aug,
  year =         "1985",
  publisher =    "ACM Press",
}

@Book{Che80,
  author =       "B. F. Chellas",
  title =        "Modal Logic, an Introduction",
  publisher =    "Cambridge University Press",
  address =      "Cambridge, UK",
  year =         "1980",
  ISBN =         "0-521-22476-4",
  descriptor =   "Logik, Modallogik",
  annote =       "Einfuehrung in die Modallogik",
}
@Article{Taylor83,
  author =       "R. N. Taylor",
  title =        "Complexity of Analyzing the Synchronization Structure
                 of Concurrent Programs",
  journal =      "Acta Informatica",
  volume =       "19",
  number =       "1",
  pages =        "57--84",
  month =        apr,
  year =         "1983",
  coden =        "AINFA2",
  ISSN =         "0001-5903 (print), 1432-0525 (electronic)",
  mrclass =      "68B20 (68C25)",
  mrnumber =     "84f:68022",
  bibdate =      "Sat Oct 9 09:56:22 MDT 1999",
  acknowledgement = ack-nhfb,
}
@InProceedings{mizuno95b,
  author =       "M. Mizuno and M. Raynal and J. Z. Zhou",
  title =        "Sequential Consistency in Distributed Systems",
  booktitle =    "Proc. of the Int'l Workshop on Theory and Practice in
                 Distributed Systems",
  publisher =    "Springer-Verlag",
  series =       "Lecture Notes in Computer Science",
  number =       "938",
  editor =       "K. Birman and F. Mattern and A. Schiper",
  month =        jul,
  pages =        "224--241",
  year =         "1995",
}


@InProceedings{Mitchell97,
  author =       "J. R. Mitchell and V. K. Garg",
  title =        "Optimistic Agreement in Asynchronous Distributed
                 Systems",
  booktitle =    "International Conference on Parallel and Distributed
                 Processing Techniques and Applications (PDPTA'97)",
  publisher =    "IEEE",
  address =      "Las Vegas, Nevada, USA.",
  month =        jun,
  year =         "1997",
  keywords =     "short paper,",
  abstract =     "http://www.cps.udayton.edu/\~{}pan/pdpta.",
  note =         "University of Texas, Austin",
}


@Article{Garg:1997:DCG,
  author =       "V. K. Garg and J. R. Mitchell",
  title =        "Detecting conjunctions of global predicates",
  journal =      "Information Processing Letters",
  volume =       "63",
  number =       "6",
  pages =        "295--302",
  day =          "8",
  month =        oct,
  year =         "1997",
  coden =        "IFPLAT",
  ISSN =         "0020-0190",
  mrclass =      "68Q10 (68Q60)",
  mrnumber =     "1 477 844",
  bibdate =      "Sat Nov 7 17:55:54 MST 1998",
  acknowledgement = ack-nhfb,
}

@InProceedings{TG:icse,
  author =       "A. I. Tomlinson and V. K. Garg",
  title =        "Maintenance of Global Assertions in Distributed Systems",
  booktitle =    "International Conference on Computer Science and Education", 
  publisher =    "Tata McGraw-Hill",
  address =      "Bangalore, India",
  month =        jun,
  year =         "1994",
}

@Article{Wei:1982:CACM,
author =	 {M. Weiser},
title =	 {Programmers Use Slices When Debugging},
journal =	 CACM,
year =	 1982,
volume =	 25,
number =	 7,
pages =	 {446-452}
}



@InProceedings{ClEm81b,
  address =      "Yorktown Heights, New York",
  author =       "{E. M. Clarke} and {E. A. Emerson}",
  booktitle =    "Proc. of the Workshop on Logics of Programs",
  key =          "ClEm81b",
  month =        may,
  series =       "Lecture Notes in Computer Science",
  title =        "Design and {S}ynthesis of {S}ynchronization {S}keletons using 
                 {B}ranching {T}ime {T}emporal {L}ogic",
  volume =       "131",
  year =         "1981",
}

@InProceedings{QuSi82,
  address =      "New York",
  author =       "{J. P. Queille} and {J. Sifakis}",
  booktitle =    "Proc. of the Fifth International Symposium in
                       Programming",
  key =          "QuSi82",
  pages =        "337--351",
  publisher =    "Springer-Verlag",
  series =       "LNCS",
  title =        "Specification and Verification of Concurrent Systems
				                  in {CESAR}",
  volume =       "137",
  year =         "1982",
}

@inproceedings{ helary97preventing,
    author = "Jean-Michel Helary and Achour Mostefaoui and Robert H. B. Netzer and Michel Raynal",
    title = "Preventing Useless Checkpoints in Distributed Computations",
    booktitle = "Symposium on Reliable Distributed Systems",
    pages = "183-190",
    year = "1997"
}

@Article{Singhal:1992:EIV,
  author =       "Mukesh Singhal and Ajay Kshemkalyani",
  title =        "An efficient implementation of vector clocks",
  journal =      "Information Processing Letters",
  volume =       "43",
  number =       "1",
  pages =        "47--52",
  day =          "10",
  month =        aug,
  year =         "1992",
  coden =        "IFPLAT",
  ISSN =         "0020-0190",
  bibdate =      "Wed Nov 11 12:16:26 MST 1998",
}

@Article{Mattern:1987:ADT,
  author =       "Friedemann Mattern",
  title =        "Algorithms for distributed termination detection",
  journal =      "Distributed Computing",
  year =         "1987",
  volume =       "2",
  number =       "3",
  pages =        "161--175",
}
@Article{rival74maximal,
  author = "I. Rival",
  title = "Maximal sublattices of finite distributive lattices. {II}",
  journal = "Proc. Amer. Math. Soc.",
  year = "1974",
  pages = "263--268",
}

@Article{rival73maximal,
  author = "I. Rival",
  title = "Maximal sublattices of finite distributive lattices",
  journal = "Proc. Amer. Math. Soc.",
  year = "1973",
  pages = "417--420",
}

@Book{LinWil92,
  author =       "J.H. van Lint and R. M. Wilson",
  title =        "A Course in Combinatorics ",
  publisher = "Cambridge University Press",
  year =         "1992",
}

@Book{StaWhi86,
  author =       "D. Stanton and D. White",
  title =        "Constructive Combinatorics ",
  publisher = "Springer-Verlag",
  year =         "1986",
}

@Article{FLRT86,
  author =       "U. Faigle and L. Lov{\'a}sz and R. Schrader and Gy.
                 Tur{\'a}n",
  title =        "Searching in trees, series-parallel and interval
                 orders",
  journal =      "SIAM Journal on Computing",
  volume =       "15",
  number =       "4",
  pages =        "1075--1084",
  year =         "1986",
  coden =        "SMJCAT",
  ISSN =         "0097-5397 (print), 1095-7111 (electronic)",
  mrclass =      "68P10 (06A10)",
  mrnumber =     "87m:68013",
  mrreviewer =   "Nathan Linial",
  bibdate =      "Sat Jan 18 18:03:50 MST 1997",
  acknowledgement = ack-nhfb,
}

@Article{Ste84,
  author =       "G. Steiner",
  title =        "Single Machine scheduling with precedence constraints of
dimension 2",
  journal =       "Math. Operations Research",
  volume =       "9",
  pages =        "248 -- 259",
  year =         "1984",
}

@Article{Ste86,
  author =       "G. Steiner",
  title =        "An algorithm to generate the ideals of a partial order",
  journal =       "Operations Research Letters",
  volume =       "5",
  number =       "6",
  pages =        "317 -- 320",
  year =         "1986",
}

@Article{Spinrad85,
  author =       "Jeremy Spinrad",
  title =        "On comparability and permutation graphs",
  journal =      "SIAM Journal on Computing",
  volume =       "14",
  number =       "3",
  pages =        "658--670",
  year =         "1985",
  coden =        "SMJCAT",
  ISSN =         "0097-5397 (print), 1095-7111 (electronic)",
  mrclass =      "68R10 (05C75)",
  mrnumber =     "795 937",
  bibdate =      "Sat Jan 18 18:03:50 MST 1997",
  acknowledgement = ack-nhfb,
}
@BOOK{STA,
        AUTHOR = "R. Stanley",
        TITLE = "Enumerative Combinatorics Volume 1",
        PUBLISHER = "Wadsworth and Brookes/Cole",
        ADDRESS = "Monterey, California",
        YEAR = "1986"   }

@BOOK{Trotter92,
        AUTHOR = "W.T. Trotter",
        TITLE = "Combinatorics and Partially Ordered Sets: Dimension Theory",
        PUBLISHER = "The Johns Hopkins University Press",
        ADDRESS = "",
        YEAR = "1992"   }

@Book{Squire95,
  author =       "M. Squire",
  title =        "Gray Codes and Efficient Generation of Combinatorial Structures", 
  publisher =    "PhD Dissertation, Department of Computer Science, North Carolina State University",
  year =         "1995",
}

@Book{Knuth98,
  author =       "Donald E. Knuth",
  title =        "Sorting and Searching",
  volume =       "3",
  publisher =    "Ad{\-d}i{\-s}on-Wes{\-l}ey",
  address =      "Reading, MA, USA",
  edition =      "Second",
  pages =        "xiv + 780",
  year =         "1998",
  ISBN =         "0-201-89685-0",
  LCCN =         "QA76.6.K64 1997",
  bibdate =      "Sat Feb 27 11:11:53 1999",
  price =        "US\$49.95",
  series =       "The Art of Computer Programming",
  acknowledgement = ack-nhfb,
}


@Article{EffRus02,
  author =       "S. Effler and F. Ruskey",
  title =        "A {CAT} Algorithm for listing permutations with a
         given number of inversions",
  journal =      "Information Processing Letters",
  year =         "2002",
  comment =      "deposet debug",
}


@Article{ProBal83,
  author =       "J.S. Provan and M. O. Ball",
  title =        "The complexity of counting cuts and of computing the
probability that a graph is connected",
  journal =      "SIAM Journal on Computing",
  volume =       "12",
  pages =        "777--788",
  year =         "1983",
}

@InProceedings{JMN95,
  author =       "Roland {J\'egou} and Raoul Medina and Lhouari
                 Nourine",
  title =        "Linear space algorithm for on-line detection of global
                 predicates",
  booktitle =    "Proceedings of the International Workshop on
                 Structures in Concurrency Theory (STRICT)",
  pages =        "175--189",
  year =         "1995",
  editor =       "{J\"org} Desel",
  series =       "Workshops in Computing",
  publisher =    "Spring{\-}er-Ver{\-}lag",
}
@Article{AlaVen01,
  title =        "Techniques to Tackle State Explosion in Global Predicate
Detection",
  author =       "S. Alagar and S. Venkatesan",
  pages =        "704 -- 714",
  journal =      "IEEE Transactions on Software Engineering",
  year =         "2001",
  volume =       "27",
  month =        aug,
  number =       "8",
}

@Book{NW78,
  author =       "A. Nijenhuis and H. S. Wilf",
  title =        "Combinatorial Algorithms for Computers and
                 Calculators",
  edition =      "2",
  publisher =    "Academic Press",
  address =      "London",
  year =         "1978",
  ISBN =         "0-12-519260-6",
  descriptor =   "Algorithmus, Back tracking, Baum, Graph, Kombinatorik,
                 Netzwerk, Partition, Permutation, Polynom, Sortieren",
  annote =       "Eine Sammlung mathematischer Algorithmen fuer die
                 Loesung kombinatorischer Probleme",
}
@Book