alan-misc.bib

@comment{{This file has been generated by bib2bib 1.98}}
@comment{{Command line: bib2bib -ob alan-misc.bib -oc alan-misc.keys -c '(Alan:"1") & ($type <> "ARTICLE") & ($type <> "INPROCEEDINGS") & ($type <> "PHDTHESIS") & !(note:"talk")' alan.bib}}
@report{BohannonFosterPiercePilkiewiczSchmitt2007,
  alan = 1,
  author = {Aaron Bohannon and J. Nathan Foster and Benjamin C. Pierce
                  and Alexandre Pilkiewicz and Alan Schmitt},
  institution = {Dept. of CIS University of Pennsylvania},
  month = nov,
  type = {Technical Report},
  number = {MS-CIS-07-15},
  title = {Boomerang: Resourceful Lenses for String Data},
  year = 2007
}
@manual{Foster2006Harmony-Programmers-,
  alan = {1},
  author = {Foster, J. Nathan and Pierce, Benjamin C. and Schmitt, Alan},
  date-added = {2007-07-23 14:25:10 +0200},
  date-modified = {2011-12-06 09:39:05 +0000},
  homepage = {http://www.seas.upenn.edu/~harmony/},
  keywords = {Harmony},
  pdf = {http://www.seas.upenn.edu/~harmony/doc/manual.pdf},
  read = {1},
  title = {Harmony Programmer's Manual},
  year = 2006
}
@incollection{Fournet2002JoCaml:-a-Language-f,
  alan = {1},
  author = {C\'edric Fournet and Fabrice Le Fessant and Luc Maranget and Alan Schmitt},
  booktitle = {Proceedings of the 4th Summer School on Advanced Functional Programming, Oxford, 19-24 August 2002},
  date-modified = {2012-10-25 06:46:50 +0000},
  month = nov,
  pages = {129--158},
  ps = {http://www.irisa.fr/celtique/aschmitt/papers/afp4-jocaml.ps.gz},
  publisher = {Springer-Verlag},
  read = {1},
  series = {Lecture Notes in Computer Science},
  title = {JoCaml: a Language for Concurrent Distributed and Mobile Programming},
  year = {2002},
  bdsk-url-1 = {http://www.irisa.fr/celtique/aschmitt/papers/afp4-jocaml.ps.gz}
}
@misc{Gapeyev2005The-Xtatic-Compiler-,
  alan = {1},
  author = {Vladimir Gapeyev and Michael Y. Levin and Benjamin C. Pierce and Alan Schmitt},
  date-modified = {2010-06-01 15:47:35 +0200},
  keys = {xtatic},
  keywords = {Xtatic, XML typing},
  read = {1},
  sources = {http://www.cis.upenn.edu/~bcpierce/papers/xtatic.tgz},
  title = {The {X}tatic Compiler and Runtime System},
  year = {2005}
}
@report{Lenglet2008Normal-bisimulations,
  alan = {1},
  author = {Sergue{\"\i} Lenglet and Alan Schmitt and Jean-Bernard Stefani},
  date-added = {2008-11-14 10:36:30 +0100},
  date-modified = {2012-01-19 10:16:37 +0000},
  type = {Technical Report},
  institution = {INRIA},
  keywords = {process calculus; higher-order; behavioral theory; barbed congruence; normal bisimulation},
  month = sep,
  number = {RR-6664},
  read = {1},
  title = {Normal bisimulations in process calculi with passivation},
  tr = {http://hal.inria.fr/inria-00330565/en/},
  type = {Research Report},
  year = {2008},
  abstract = {Behavioral theory for higher-order process calculi is less well developed than for first-order ones such as the $\pi$-calculus. The most natural process equivalence relation, barbed congruence, is difficult to use in practice because of the infinite number of test contexts it requires. One is therefore lead to find simpler characterizations of barbed congruence, which may not be easy to do for higher-order process calculi, especially in the weak case. Such characterizations have been obtained for some calculi. For instance, in the case of the higher $\pi$-calculus, HO$\pi$, Sangiorgi has defined a notion of \emph{normal} bisimulation, which characterizes barbed congruence and that requires only a finite number of tests.
In this paper, we study bisimulations in higher-order calculi with a passivation operator, that allows the interruption and thunkification of a running process. We develop a normal bisimulation that characterizes barbed congruence, in the strong and weak cases, in a higher-order calculus with passivation, but without name restriction. We then show that this characterization result does not hold in the presence of name restriction.},
  bdsk-file-1 = {YnBsaXN0MDDUAQIDBAUGJCVYJHZlcnNpb25YJG9iamVjdHNZJGFyY2hpdmVyVCR0b3ASAAGGoKgHCBMUFRYaIVUkbnVsbNMJCgsMDxJXTlMua2V5c1pOUy5vYmplY3RzViRjbGFzc6INDoACgAOiEBGABIAFgAdccmVsYXRpdmVQYXRoWWFsaWFzRGF0YV8QPy4uLy4uL0RvY3VtZW50cy9CaWJEZXNrRG9jcy9MZW5nbGV0MjAwOE5vcm1hbC1iaXNpbXVsYXRpb25zLnBkZtIXCxgZV05TLmRhdGFPEQHyAAAAAAHyAAIAAAxNYWNpbnRvc2ggSEQAAAAAAAAAAAAAAAAAAADP1EbmSCsAAAAP55kfTGVuZ2xldDIwMDhOb3JtYWwtYmlzI0ZFODM4LnBkZgAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA/oOMURTkkAAAAAAAAAAAACAAMAAAkgAAAAAAAAAAAAAAAAAAAAC0JpYkRlc2tEb2NzAAAQAAgAAM/UKsYAAAARAAgAAMURMikAAAABABAAD+eZAA+yiAAJoPYAAmb5AAIAVU1hY2ludG9zaCBIRDpVc2VyczoAc2NobWl0dGE6AERvY3VtZW50czoAQmliRGVza0RvY3M6AExlbmdsZXQyMDA4Tm9ybWFsLWJpcyNGRTgzOC5wZGYAAA4ASAAjAEwAZQBuAGcAbABlAHQAMgAwADAAOABOAG8AcgBtAGEAbAAtAGIAaQBzAGkAbQB1AGwAYQB0AGkAbwBuAHMALgBwAGQAZgAPABoADABNAGEAYwBpAG4AdABvAHMAaAAgAEgARAASAEhVc2Vycy9zY2htaXR0YS9Eb2N1bWVudHMvQmliRGVza0RvY3MvTGVuZ2xldDIwMDhOb3JtYWwtYmlzaW11bGF0aW9ucy5wZGYAEwABLwAAFQACAA///wAAgAbSGxwdHlokY2xhc3NuYW1lWCRjbGFzc2VzXU5TTXV0YWJsZURhdGGjHR8gVk5TRGF0YVhOU09iamVjdNIbHCIjXE5TRGljdGlvbmFyeaIiIF8QD05TS2V5ZWRBcmNoaXZlctEmJ1Ryb290gAEACAARABoAIwAtADIANwBAAEYATQBVAGAAZwBqAGwAbgBxAHMAdQB3AIQAjgDQANUA3QLTAtUC2gLlAu4C/AMAAwcDEAMVAyIDJQM3AzoDPwAAAAAAAAIBAAAAAAAAACgAAAAAAAAAAAAAAAAAAANB}
}
@report{Pierce2003Bringing-Harmony-to-,
  alan = {1},
  author = {Benjamin C. Pierce and Alan Schmitt and Michael B. Greenwald},
  date-added = {2011-02-24 15:06:15 +0100},
  date-modified = {2013-10-16 13:47:19 +0000},
  institution = {University of Pennsylvania},
  type = {Technical Report},
  keys = {harmony},
  note = {Superseded by MS-CIS-05-02},
  number = {MS-CIS-03-42},
  read = {1},
  title = {Bringing Harmony to Optimism: A Synchronization Framework for Heterogeneous Tree-Structured Data},
  tr = {http://www.cis.upenn.edu/~bcpierce/papers/harmony-sync-tr.pdf},
  type = {Technical Report},
  year = 2003
}
@thesis{Schmitt2002Conception-et-Implem,
  address = {Palaiseau, France},
  alan = {1},
  author = {Alan Schmitt},
  type = {PhD. Thesis},
  date-modified = {2010-05-21 15:29:22 +0200},
  month = sep,
  note = {[The ps.gz version is the original one submitted. The pdf version was recompiled recently and due to LaTeX differences does not have the same layout, but the text is identical.]},
  pdf = {http://www.irisa.fr/celtique/aschmitt/papers/these_schmitt.pdf},
  ps = {http://www.irisa.fr/celtique/aschmitt/papers/these_schmitt.ps.gz},
  read = {1},
  school = {Ecole Polytechnique},
  title = {Conception et Impl{\'e}mentation de Calculs d'Agents Mobiles},
  year = 2002,
  bdsk-url-1 = {http://www.irisa.fr/celtique/aschmitt/papers/these_schmitt.ps.gz}
}
@thesis{Schmitt2011Static-Analyses-for-,
  alan = {1},
  author = {Schmitt, Alan},
  date-added = {2011-08-05 13:37:04 +0200},
  date-modified = {2013-10-16 13:47:14 +0000},
  type = {PhD. Thesis},
  full = {http://www.irisa.fr/celtique/aschmitt/papers/Schmitt2011Static-Analyses-for-.pdf},
  month = may,
  read = {1},
  school = {Universit{\'e} de Grenoble},
  title = {Static Analyses for Manipulations of Hierarchically Structured Data},
  type = {Habilitation {\`a} Diriger les Recherches},
  year = {2011},
  bdsk-file-1 = {YnBsaXN0MDDUAQIDBAUGJCVYJHZlcnNpb25YJG9iamVjdHNZJGFyY2hpdmVyVCR0b3ASAAGGoKgHCBMUFRYaIVUkbnVsbNMJCgsMDxJXTlMua2V5c1pOUy5vYmplY3RzViRjbGFzc6INDoACgAOiEBGABIAFgAdccmVsYXRpdmVQYXRoWWFsaWFzRGF0YV8QPy4uLy4uL0RvY3VtZW50cy9CaWJEZXNrRG9jcy9TY2htaXR0MjAxMVN0YXRpYy1BbmFseXNlcy1mb3ItLnBkZtIXCxgZV05TLmRhdGFPEQHyAAAAAAHyAAIAAAxNYWNpbnRvc2ggSEQAAAAAAAAAAAAAAAAAAADP1EbmSCsAAAAP55kfU2NobWl0dDIwMTFTdGF0aWMtQW5hI0ZFODZELnBkZgAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA/obcnnN0UAAAAAAAAAAAACAAMAAAkgAAAAAAAAAAAAAAAAAAAAC0JpYkRlc2tEb2NzAAAQAAgAAM/UKsYAAAARAAgAAMnnGyUAAAABABAAD+eZAA+yiAAJoPYAAmb5AAIAVU1hY2ludG9zaCBIRDpVc2VyczoAc2NobWl0dGE6AERvY3VtZW50czoAQmliRGVza0RvY3M6AFNjaG1pdHQyMDExU3RhdGljLUFuYSNGRTg2RC5wZGYAAA4ASAAjAFMAYwBoAG0AaQB0AHQAMgAwADEAMQBTAHQAYQB0AGkAYwAtAEEAbgBhAGwAeQBzAGUAcwAtAGYAbwByAC0ALgBwAGQAZgAPABoADABNAGEAYwBpAG4AdABvAHMAaAAgAEgARAASAEhVc2Vycy9zY2htaXR0YS9Eb2N1bWVudHMvQmliRGVza0RvY3MvU2NobWl0dDIwMTFTdGF0aWMtQW5hbHlzZXMtZm9yLS5wZGYAEwABLwAAFQACAA///wAAgAbSGxwdHlokY2xhc3NuYW1lWCRjbGFzc2VzXU5TTXV0YWJsZURhdGGjHR8gVk5TRGF0YVhOU09iamVjdNIbHCIjXE5TRGljdGlvbmFyeaIiIF8QD05TS2V5ZWRBcmNoaXZlctEmJ1Ryb290gAEACAARABoAIwAtADIANwBAAEYATQBVAGAAZwBqAGwAbgBxAHMAdQB3AIQAjgDQANUA3QLTAtUC2gLlAu4C/AMAAwcDEAMVAyIDJQM3AzoDPwAAAAAAAAIBAAAAAAAAACgAAAAAAAAAAAAAAAAAAANB}
}
@comment{{Local Variables:
  bibtex-dialect: biblatex
  End:
}}