Changeset 5952c91 for doc/bibliography

Timestamp:

Apr 17, 2020, 5:20:57 PM (5 years ago)

Author:

Peter A. Buhr <pabuhr@…>

Branches:

ADT, arm-eh, ast-experimental, enum, forall-pointer-decay, jacob/cs343-translation, master, new-ast, new-ast-unique-expr, pthread-emulation, qualifiedEnum

Children:

899dfbb

Parents:

c20ba169

Message:

add bibliography entries

File:

• doc/bibliography/pl.bib (modified) (2 diffs)

doc/bibliography/pl.bib

@@ -4566 +4566 @@
 }
 
+@inproceedings{Fang06,
+    author      = {Fang, Yi and McMillan, Kenneth L. and Pnueli, Amir and Zuck, Lenore D.},
+    editor      = {Najm, Elie and Pradat-Peyre, Jean-Fran{\c{c}}ois and Donzeau-Gouge, V{\'e}ronique Vigui{\'e}},
+    title       = {Liveness by Invisible Invariants},
+    booktitle   = {Formal Techniques for Networked and Distributed Systems - FORTE 2006},
+    year        = 2006,
+    publisher   = {Springer Berlin Heidelberg},
+    address     = {Berlin, Heidelberg},
+    pages       = {356--371},
+}
+
 @article{Pierce00,
     keywords    = {Scala, polymorphism, subtyping, type inference},
@@ -6656 +6667 @@
 }
 
+@article{Aravind09,
+    author      = {Alex A. Aravind and Wim H. Hesselink},
+    title       = {A Queue Based Mutual Exclusion Algorithm},
+    journal     = acta,
+    volume      = 46,
+    pages       = {73--86},
+    year        = 2009,
+}
+
 % R