diff --git a/thesis.bib b/thesis.bib index 117c509..870ec72 100644 --- a/thesis.bib +++ b/thesis.bib @@ -2401,7 +2401,8 @@ author = {Nikolaos S. Papspyrou}, title = {A resumption monad transformer and its applications in the semantics of concurrency}, booktitle = {Proceedings of the 3rd Panhellenic Logic Symposium}, - address = {Anogia, Greece} + address = {Anogia, Greece}, + year = 2001, } @inproceedings{Harrison06,