Differences

This shows you the differences between two versions of the page.

wg2bibtex [2013/05/02 16:12]
hugo
wg2bibtex [2013/10/08 16:03] (current)
hugo
Line 1: Line 1:
 +@article{DHS12,
 +  author    = {Mariangiola Dezani-Ciancaglini and
 +               Ross Horne and
 +               Vladimiro Sassone},
 +  title     = {Tracing where and who provenance in Linked Data: A calculus},
 +  journal   = {Theor. Comput. Sci.},
 +  volume    = {464},
 +  year      = {2012},
 +  pages     = {113-129},
 +  ee        = {http://dx.doi.org/10.1016/j.tcs.2012.06.020},
 +  bibsource = {DBLP, http://dblp.uni-trier.de}
 +}
 +
 +@article{GJ03,
 +  author    = {Andrew D. Gordon and
 +               Alan Jeffrey},
 +  title     = {Typing correspondence assertions for communication protocols},
 +  journal   = {Theor. Comput. Sci.},
 +  volume    = {300},
 +  number    = {1-3},
 +  year      = {2003},
 +  pages     = {379-409},
 +  ee        = {http://dx.doi.org/10.1016/S0304-3975(02)00333-X},
 +  bibsource = {DBLP, http://dblp.uni-trier.de}
 +}
 +
 +@inproceedings{corinD07,
 +  author    = {Ricardo Corin and
 +               Pierre-Malo Deni{\'e}lou},
 +  title     = {A Protocol Compiler for Secure Sessions in ML},
 +  year      = {2007},
 +  pages     = {276-293},
 +  ee        = {http://dx.doi.org/10.1007/978-3-540-78663-4_19},
 +  crossref  = {DBLP:conf/tgc/2007},
 +  bibsource = {DBLP, http://dblp.uni-trier.de}
 +}
 +@proceedings{DBLP:conf/tgc/2007,
 +  editor    = {Gilles Barthe and
 +               C{\'e}dric Fournet},
 +  booktitle     = {Trustworthy Global Computing, Third Symposium, TGC 2007,
 +               Sophia-Antipolis, France, November 5-6, 2007, Revised Selected
 +               Papers},
 +  publisher = {Springer},
 +  series    = {Lecture Notes in Computer Science},
 +  volume    = {4912},
 +  year      = {2008},
 +  isbn      = {978-3-540-78662-7},
 +  bibsource = {DBLP, http://dblp.uni-trier.de}
 +}
 +
 +@article{cairestcs08,
 +  author    = {Lu\'{\i}s Caires},
 +  title     = {Spatial-behavioral types for concurrency and resource control
 +               in distributed systems},
 +  journal   = {Theor. Comput. Sci.},
 +  volume    = {402},
 +  number    = {2-3},
 +  year      = {2008},
 +  pages     = {120-141},
 +  ee        = {http://dx.doi.org/10.1016/j.tcs.2008.04.030},
 +  bibsource = {DBLP, http://dblp.uni-trier.de}
 +}
 +
 +@inproceedings{DBLP:journals/corr/abs-1211-4099,
 +  author    = {Pedro Baltazar and
 +               Dimitris Mostrous and
 +               Vasco Thudichum Vasconcelos},
 +  title     = {Linearly Refined Session Types},
 +  year      = {2012},
 +  pages     = {38-49},
 +  ee        = {http://dx.doi.org/10.4204/EPTCS.101.4},
 +  crossref  = {DBLP:journals/corr/abs-1211-3480},
 +  bibsource = {DBLP, http://dblp.uni-trier.de}
 +}
 +@proceedings{DBLP:journals/corr/abs-1211-3480,
 +  editor    = {Sandra Alves and
 +               Ian Mackie},
 +  booktitle     = {Proceedings 2nd International Workshop on Linearity},
 +  series    = {EPTCS},
 +  volume    = {101},
 +  year      = {2012},
 +  ee        = {http://dx.doi.org/10.4204/EPTCS.101},
 +  bibsource = {DBLP, http://dblp.uni-trier.de}
 +}
 +
 +
 +@inproceedings{francobeat13,
 +  author    = {Juliana Franco and Vasco Thudichum Vasconcelos},
 +  title     = {A concurrent programming language with refined session types},
 +  year      = {2013},
 +  pages     = {33-42},
 +  editor    = {Simon Gay},
 +  booktitle     = {2nd International Workshop on Behavioural Types, BEAT 2, Madrid, Spain, September 23-24, 2013, Pre-proceedings},
 +  publisher = {University Complutense of Madrid},
 +}
 +
 +@inproceedings{kouzapasbeat13,
 +  author    = {Dimitrios Kouzapas and Anna Philippou},
 +  title     = {A Typing System for Privacy},
 +  year      = {2013},
 +  pages     = {51-60},
 +  editor    = {Simon Gay},
 +  booktitle     = {2nd International Workshop on Behavioural Types, BEAT 2, Madrid, Spain, September 23-24, 2013, Pre-proceedings},
 +  publisher = {University Complutense of Madrid},
 +}
 +
 +
 +@article{DBLP:journals/acta/Kobayashi05,
 +  author    = {Naoki Kobayashi},
 +  title     = {Type-based information flow analysis for the pi-calculus},
 +  journal   = {Acta Inf.},
 +  volume    = {42},
 +  number    = {4-5},
 +  year      = {2005},
 +  pages     = {291-347},
 +  ee        = {http://dx.doi.org/10.1007/s00236-005-0179-x},
 +  bibsource = {DBLP, http://dblp.uni-trier.de}
 +}
 +
 +@inproceedings{DBLP:conf/icalp/HennessyR00,
 +  author    = {Matthew Hennessy and
 +               James Riely},
 +  title     = {Information Flow vs. Resource Access in the Asynchronous
 +               Pi-Calculus},
 +  year      = {2000},
 +  pages     = {415-427},
 +  ee        = {http://dx.doi.org/10.1007/3-540-45022-X_35},
 +  crossref  = {DBLP:conf/icalp/2000},
 +  bibsource = {DBLP, http://dblp.uni-trier.de}
 +}
 +@proceedings{DBLP:conf/icalp/2000,
 +  editor    = {Ugo Montanari and
 +               Jos{\'e} D. P. Rolim and
 +               Emo Welzl},
 +  booktitle     = {Automata, Languages and Programming, 27th International
 +               Colloquium, ICALP 2000, Geneva, Switzerland, July 9-15,
 +               2000, Proceedings},
 +  publisher = {Springer},
 +  series    = {Lecture Notes in Computer Science},
 +  volume    = {1853},
 +  year      = {2000},
 +  isbn      = {3-540-67715-1},
 +  bibsource = {DBLP, http://dblp.uni-trier.de}
 +}
 +
 +
 +@article{DBLP:journals/jfp/HondaY05,
 +  author    = {Kohei Honda and
 +               Nobuko Yoshida},
 +  title     = {Noninterference through flow analysis},
 +  journal   = {J. Funct. Program.},
 +  volume    = {15},
 +  number    = {2},
 +  year      = {2005},
 +  pages     = {293-349},
 +  ee        = {http://dx.doi.org/10.1017/S0956796804005477},
 +  bibsource = {DBLP, http://dblp.uni-trier.de}
 +}
 +
 +@article{DBLP:journals/toplas/HondaY07,
 +  author    = {Kohei Honda and
 +               Nobuko Yoshida},
 +  title     = {A uniform type structure for secure information flow},
 +  journal   = {ACM Trans. Program. Lang. Syst.},
 +  volume    = {29},
 +  number    = {6},
 +  year      = {2007},
 +  ee        = {http://doi.acm.org/10.1145/1286821.1286822},
 +  bibsource = {DBLP, http://dblp.uni-trier.de}
 +}
 +
 +@article{DBLP:journals/jlp/YoshidaHB07,
 +  author    = {Nobuko Yoshida and
 +               Kohei Honda and
 +               Martin Berger},
 +  title     = {Linearity and bisimulation},
 +  journal   = {J. Log. Algebr. Program.},
 +  volume    = {72},
 +  number    = {2},
 +  year      = {2007},
 +  pages     = {207-238},
 +  ee        = {http://dx.doi.org/10.1016/j.jlap.2007.02.011},
 +  bibsource = {DBLP, http://dblp.uni-trier.de}
 +}
 +
 @inproceedings{carbonepost13, @inproceedings{carbonepost13,
   author    = {Marco Carbone and   author    = {Marco Carbone and
 
wg2bibtex.txt · Last modified: 2013/10/08 16:03 by hugo
 
Except where otherwise noted, content on this wiki is licensed under the following license:CC Attribution-Share Alike 3.0 Unported
Recent changes RSS feed Donate Powered by PHP Valid XHTML 1.0 Valid CSS Driven by DokuWiki