alan-conference.bib

@comment{{This file has been generated by bib2bib 1.98}}
@comment{{Command line: bib2bib -ob alan-conference.bib -oc alan-conference.keys -c '(Alan:"1") & ($type="INPROCEEDINGS") & (!Workshop:"1") & (!Talk:"1")' alan.bib}}
@inproceedings{BarcenasGenevesLayaidaSchmitt2011,
  address = {Barcelona, Spain},
  alan = 1,
  author = {B{\'a}rcenas, Everardo and Genev{\`e}s, Pierre and
                  Laya{\"\i}da, Nabil and Schmitt, Alan},
  booktitle = {Proceedings of the 22nd International Joint Conference on
                  Artificial Intelligence (IJCAI '11)},
  conf = {http://www.irisa.fr/celtique/aschmitt/papers/Barcenas2011Query-Reasoning-on-T.pdf},
  editor = {Walsh, Toby},
  month = jul,
  pages = {718--723},
  publisher = {AAAI Press/International Joint Conferences on Artificial
                  Intelligence},
  title = {Query Reasoning on Trees with Types, Interleaving, and
                  Counting},
  year = 2011
}
@inproceedings{BidingerSchmittStefani2005,
  address = {Athens, Greece},
  alan = 1,
  author = {Philippe Bidinger and Alan Schmitt and Jean-Bernard Stefani},
  booktitle = {7th IFIP International Conference on Formal Methods for
                  Object-Based Distributed Systems (FMOODS)},
  conf = {http://www.irisa.fr/celtique/aschmitt/papers/kell_abstract_machine.pdf},
  month = jun,
  note = {Best Paper Award},
  pages = {43--58},
  series = {Lecture Notes in Computer Science},
  title = {An Abstract Machine for the {K}ell Calculus},
  volume = 3535,
  year = 2005
}
@inproceedings{BodinChargueraudFilarettiGardnerMaffeisNaudziunieneSchmittSmith2014,
  address = {San Diego, CA, USA},
  alan = 1,
  author = {Bodin, Martin and Chargu{\'e}raud, Arthur and Filaretti,
                  Daniele and Gardner, Philippa and Maffeis, Sergio and
                  Naudziuniene, Daiva and Schmitt, Alan and Smith, Gareth},
  booktitle = {Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on
                  Principles of Programming Languages (POPL 2014)},
  conf = {http://www.irisa.fr/celtique/aschmitt/papers/JSCert-POPL14.pdf},
  month = jan,
  pages = {87--100},
  title = {A Trusted Mechanised JavaScript Specification},
  year = 2014
}
@inproceedings{BodinJensenSchmitt2015,
  month = jan,
  alan = 1,
  author = {Bodin, Martin and Jensen, Thomas and Schmitt, Alan},
  booktitle = {Proceedings of the 2015 Conference on Certified Programs and
                  Proofs},
  doi = {10.1145/2676724.2693174},
  hal = {https://hal.inria.fr/hal-01111588},
  isbn = {978-1-4503-3296-5},
  location = {Mumbai, India},
  numpages = 12,
  pages = {29--40},
  publisher = {ACM},
  series = {CPP 2015},
  title = {Certified Abstract Interpretation with Pretty-Big-Step
                  Semantics},
  year = 2015
}
@inproceedings{BodinJensenSchmitt2016,
  alan = 1,
  author = {Bodin, Martin and Jensen, Thomas and Schmitt, Alan},
  title = {{An Abstract Separation Logic for Interlinked Extensible
                  Records}},
  year = 2016,
  booktitle = {{Vingt-septi{\`e}mes Journ{\'e}es Francophones des Langages
                  Applicatifs (JFLA 2016)}},
  editor = {Julien Signoles},
  month = jan,
  hal = {https://hal.archives-ouvertes.fr/hal-01333600},
  address = {Saint-Malo, France},
  pdf = {https://hal.archives-ouvertes.fr/hal-01333600/file/main.pdf},
  hal_id = {hal-01333600},
  hal_version = {v1}
}
@inproceedings{BohannonFosterPiercePilkiewiczSchmitt2008,
  address = {San Francisco, California, USA},
  alan = 1,
  author = {Aaron Bohannon and J. Nathan Foster and Benjamin C. Pierce
                  and Alexandre Pilkiewicz and Alan Schmitt},
  booktitle = {ACM SIGPLAN--SIGACT Symposium on Principles of Programming
                  Languages (POPL'08)},
  conf = {http://www.irisa.fr/celtique/aschmitt/papers/Bohannon2008Boomerang-Resourcef.pdf},
  doi = {10.1145/1328897.1328487},
  month = jan,
  pages = {407--419},
  publisher = {ACM},
  slides = {http://www.cis.upenn.edu/~jnfoster/papers/boomerang-slides.pdf},
  title = {Boomerang: Resourceful Lenses for String Data},
  tr = {http://www.cis.upenn.edu/~jnfoster/papers/boomerang-tr.pdf},
  year = 2008
}
@inproceedings{Foster2005Combinators-for-Bi-D,
  acronym = {POPL 2005},
  address = {Long Beach, CA, USA},
  alan = {1},
  author = {J. Nathan Foster and Michael B. Greenwald and Jonathan T. Moore and Benjamin C. Pierce and Alan Schmitt},
  booktitle = {Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on Principles of Programming Languages},
  conf = {http://www.cis.upenn.edu/~bcpierce/papers/newlenses-popl.pdf},
  date-added = {2007-07-23 15:24:42 +0200},
  date-modified = {2015-02-02 13:50:50 +0000},
  keywords = {Harmony},
  note = {\textbf{Most Influential POPL Paper Award, 2015.} Extended version available as University of Pennsylvania technical report MS-CIS-03-08. Earlier version presented at the {\em Workshop on Programming Language Technologies for XML (PLAN-X)}, 2004},
  pages = {233--246},
  read = {1},
  slides = {http://www.cis.upenn.edu/~bcpierce/papers/newlenses-popl-slides.pdf},
  title = {Combinators for Bi-Directional Tree Transformations: {A} Linguistic Approach to the View Update Problem},
  tr = {http://www.cis.upenn.edu/~bcpierce/papers/newlenses-full.pdf},
  year = {2005},
  bdsk-url-1 = {http://www.cis.upenn.edu/~bcpierce/papers/newlenses-popl.pdf}
}
@inproceedings{Foster2005Exploiting-Schemas-i,
  alan = {1},
  author = {J. Nathan Foster and Michael B. Greenwald and Christian Kirkegaard and Benjamin C. Pierce and Alan Schmitt},
  booktitle = {Database Programming Languages (DBPL)},
  conf = {http://www.irisa.fr/celtique/aschmitt/papers/schema-sync.pdf},
  date-modified = {2011-01-06 10:47:47 +0100},
  keywords = {Harmony},
  month = aug,
  read = {1},
  title = {Exploiting Schemas in Data Synchronization},
  tr = {http://www.irisa.fr/celtique/aschmitt/papers/sync-tr.pdf},
  year = 2005,
  bdsk-url-1 = {http://www.irisa.fr/celtique/aschmitt/papers/schema-sync.pdf}
}
@inproceedings{Fournet2000An-Asynchronous-Dist,
  address = {Sendai, Japan},
  alan = {1},
  author = {C{\'e}dric Fournet and Jean-Jacques L{\'e}vy and Alan Schmitt},
  booktitle = {Proceedings of the International {IFIP} Conference {TCS} 2000 (Sendai, Japan)},
  conf = {http://www.irisa.fr/celtique/aschmitt/papers/ambabs.ps.gz},
  date-modified = {2011-01-06 10:53:14 +0100},
  editor = {J. van Leeuwen and O. Watanabe and M. Hagiya and P.D. Mosses and T. Ito},
  month = aug,
  organization = {IFIP},
  pages = {348--364},
  publisher = {Springer},
  read = {1},
  series = {Lecture Notes in Computer Science},
  title = {An Asynchronous Distributed Implementation of Mobile Ambients},
  volume = {1872},
  year = {2000},
  bdsk-url-1 = {http://www.irisa.fr/celtique/aschmitt/papers/ambabs.ps.gz}
}
@inproceedings{FragosoJensenRezkSchmitt2015,
  hal = {https://hal.archives-ouvertes.fr/hal-01243029},
  alan = {1},
  month = aug,
  venue = {Madrid, Spain},
  booktitle = {Proceedings of the 10th International Symposium on Trustworthy Global Computing (TGC 2015)},
  year = {2015},
  title = {Hybrid Typing of Secure Information Flow in a JavaScript-like Language},
  author = {Fragoso Santos, José and Jensen, Thomas and Rezk, Tamara and Schmitt, Alan}
}
@inproceedings{Gapeyev2005XML-Goes-Native:-Run,
  address = {Edinburgh, UK},
  alan = {1},
  author = {Vladimir Gapeyev and Michael Y. Levin and Benjamin C. Pierce and Alan Schmitt},
  booktitle = {14th International Conference on Compiler Construction (CC)},
  conf = {http://www.irisa.fr/celtique/aschmitt/papers/xtatic-runtime-CC.pdf},
  date-modified = {2011-01-06 10:50:48 +0100},
  keywords = {Xtatic},
  month = apr,
  read = {1},
  title = {{XML} Goes Native: {R}un-time Representations for {Xtatic}},
  tr = {http://www.irisa.fr/celtique/aschmitt/papers/xtatic-runtime-TR.pdf},
  year = 2005,
  bdsk-url-1 = {http://www.irisa.fr/celtique/aschmitt/papers/xtatic-runtime-CC.pdf}
}
@inproceedings{Geneves2007Efficient-Static-Ana,
  address = {New York, NY, USA},
  alan = {1},
  author = {Genev{\`e}s, Pierre and Laya{\"\i}da, Nabil and Schmitt, Alan},
  booktitle = {PLDI '07: Proceedings of the 2007 ACM SIGPLAN conference on Programming language design and implementation},
  conf = {http://www.irisa.fr/celtique/aschmitt/papers/Geneves2007Efficient-Static-Ana.pdf},
  date-added = {2007-07-23 15:54:27 +0200},
  date-modified = {2011-03-04 15:19:41 +0100},
  doi = {http://doi.acm.org/10.1145/1250734.1250773},
  isbn = {978-1-59593-633-2},
  keywords = {XPath},
  location = {San Diego, California, USA},
  month = jun,
  pages = {342--351},
  publisher = {ACM Press},
  read = {1},
  title = {Efficient Static Analysis of {XML} Paths and Types},
  year = {2007},
  bdsk-file-1 = {YnBsaXN0MDDUAQIDBAUGJCVYJHZlcnNpb25YJG9iamVjdHNZJGFyY2hpdmVyVCR0b3ASAAGGoKgHCBMUFRYaIVUkbnVsbNMJCgsMDxJXTlMua2V5c1pOUy5vYmplY3RzViRjbGFzc6INDoACgAOiEBGABIAFgAdccmVsYXRpdmVQYXRoWWFsaWFzRGF0YV8QPy4uLy4uL0RvY3VtZW50cy9CaWJEZXNrRG9jcy9HZW5ldmVzMjAwN0VmZmljaWVudC1TdGF0aWMtQW5hLnBkZtIXCxgZV05TLmRhdGFPEQHyAAAAAAHyAAIAAAxNYWNpbnRvc2ggSEQAAAAAAAAAAAAAAAAAAADP1EbmSCsAAAAP55kfR2VuZXZlczIwMDdFZmZpY2llbnQtI0ZFODAyLnBkZgAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA/oAsLKg0kAAAAAAAAAAAACAAMAAAkgAAAAAAAAAAAAAAAAAAAAC0JpYkRlc2tEb2NzAAAQAAgAAM/UKsYAAAARAAgAAMLKZykAAAABABAAD+eZAA+yiAAJoPYAAmb5AAIAVU1hY2ludG9zaCBIRDpVc2VyczoAc2NobWl0dGE6AERvY3VtZW50czoAQmliRGVza0RvY3M6AEdlbmV2ZXMyMDA3RWZmaWNpZW50LSNGRTgwMi5wZGYAAA4ASAAjAEcAZQBuAGUAdgBlAHMAMgAwADAANwBFAGYAZgBpAGMAaQBlAG4AdAAtAFMAdABhAHQAaQBjAC0AQQBuAGEALgBwAGQAZgAPABoADABNAGEAYwBpAG4AdABvAHMAaAAgAEgARAASAEhVc2Vycy9zY2htaXR0YS9Eb2N1bWVudHMvQmliRGVza0RvY3MvR2VuZXZlczIwMDdFZmZpY2llbnQtU3RhdGljLUFuYS5wZGYAEwABLwAAFQACAA///wAAgAbSGxwdHlokY2xhc3NuYW1lWCRjbGFzc2VzXU5TTXV0YWJsZURhdGGjHR8gVk5TRGF0YVhOU09iamVjdNIbHCIjXE5TRGljdGlvbmFyeaIiIF8QD05TS2V5ZWRBcmNoaXZlctEmJ1Ryb290gAEACAARABoAIwAtADIANwBAAEYATQBVAGAAZwBqAGwAbgBxAHMAdQB3AIQAjgDQANUA3QLTAtUC2gLlAu4C/AMAAwcDEAMVAyIDJQM3AzoDPwAAAAAAAAIBAAAAAAAAACgAAAAAAAAAAAAAAAAAAANB}
}
@inproceedings{GenevesSchmitt2015,
  pages = {311--317},
  publisher = {AAAI Press},
  month = jul,
  hal = {https://hal.inria.fr/hal-00868724v4/},
  alan = {1},
  booktitle = {Proceedings of International Joint Conference on Artificial Intelligence (IJCAI 2015)},
  year = {2015},
  title = {Expressive Logical Combinators For Free},
  author = {Genevès, Pierre and Schmitt, Alan}
}
@inproceedings{Greenwald2006Agreeing-to-Agree:-C,
  address = {Stockholm, Sweden},
  alan = {1},
  author = {Michael B. Greenwald and Sanjeev Khanna and Keshav Kunal and Benjamin C. Pierce and Alan Schmitt},
  booktitle = {20th International Symposium on Distributed Computing (DISC)},
  conf = {http://www.irisa.fr/celtique/aschmitt/papers/Greenwald2006Agreeing-to-Agree-C.pdf},
  doi = {10.1007/11864219_19},
  keywords = {Harmony},
  month = sep,
  pages = {269--283},
  read = {1},
  series = {Lecture Notes in Computer Science},
  slides = {http://www.irisa.fr/celtique/aschmitt/papers/DISC_2006_nway_talk.pdf},
  title = {Agreeing to Agree: Conflict Resolution for Optimistically Replicated Data},
  volume = {4167},
  year = 2006,
  bdsk-file-1 = {YnBsaXN0MDDUAQIDBAUGJCVYJHZlcnNpb25YJG9iamVjdHNZJGFyY2hpdmVyVCR0b3ASAAGGoKgHCBMUFRYaIVUkbnVsbNMJCgsMDxJXTlMua2V5c1pOUy5vYmplY3RzViRjbGFzc6INDoACgAOiEBGABIAFgAdccmVsYXRpdmVQYXRoWWFsaWFzRGF0YV8QQC4uLy4uL0RvY3VtZW50cy9CaWJEZXNrRG9jcy9HcmVlbndhbGQyMDA2QWdyZWVpbmctdG8tQWdyZWUtQy5wZGbSFwsYGVdOUy5kYXRhTxEB9gAAAAAB9gACAAAMTWFjaW50b3NoIEhEAAAAAAAAAAAAAAAAAAAAz9RG5kgrAAAAD+eZH0dyZWVud2FsZDIwMDZBZ3JlZWluZyNGRTgwOS5wZGYAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAP6AnCyoNJAAAAAAAAAAAAAgADAAAJIAAAAAAAAAAAAAAAAAAAAAtCaWJEZXNrRG9jcwAAEAAIAADP1CrGAAAAEQAIAADCymcpAAAAAQAQAA/nmQAPsogACaD2AAJm+QACAFVNYWNpbnRvc2ggSEQ6VXNlcnM6AHNjaG1pdHRhOgBEb2N1bWVudHM6AEJpYkRlc2tEb2NzOgBHcmVlbndhbGQyMDA2QWdyZWVpbmcjRkU4MDkucGRmAAAOAEoAJABHAHIAZQBlAG4AdwBhAGwAZAAyADAAMAA2AEEAZwByAGUAZQBpAG4AZwAtAHQAbwAtAEEAZwByAGUAZQAtAEMALgBwAGQAZgAPABoADABNAGEAYwBpAG4AdABvAHMAaAAgAEgARAASAElVc2Vycy9zY2htaXR0YS9Eb2N1bWVudHMvQmliRGVza0RvY3MvR3JlZW53YWxkMjAwNkFncmVlaW5nLXRvLUFncmVlLUMucGRmAAATAAEvAAAVAAIAD///AACABtIbHB0eWiRjbGFzc25hbWVYJGNsYXNzZXNdTlNNdXRhYmxlRGF0YaMdHyBWTlNEYXRhWE5TT2JqZWN00hscIiNcTlNEaWN0aW9uYXJ5oiIgXxAPTlNLZXllZEFyY2hpdmVy0SYnVHJvb3SAAQAIABEAGgAjAC0AMgA3AEAARgBNAFUAYABnAGoAbABuAHEAcwB1AHcAhACOANEA1gDeAtgC2gLfAuoC8wMBAwUDDAMVAxoDJwMqAzwDPwNEAAAAAAAAAgEAAAAAAAAAKAAAAAAAAAAAAAAAAAAAA0Y=}
}
@inproceedings{Hirschkoff2005Component-Oriented-P,
  address = {Tallinn, Estonia},
  alan = {1},
  author = {Hirschkoff, Daniel and Hirschowitz, Tom and Pous, Damien and Schmitt, Alan and Stefani, Jean-Bernard},
  booktitle = {4th International Conference on Generative Programming and Component Engineering (GPCE)},
  conf = {http://www.irisa.fr/celtique/aschmitt/papers/components_sharing.pdf},
  date-modified = {2011-10-13 07:46:49 +0000},
  keywords = {Kell},
  month = sep,
  pages = {389--404},
  read = {1},
  series = {Lecture Notes in Computer Science},
  title = {Component-Oriented Programming with Sharing: Containment is not Ownership},
  volume = {3676},
  year = 2005,
  bdsk-url-1 = {http://www.irisa.fr/celtique/aschmitt/papers/components_sharing.pdf}
}
@inproceedings{Lanese2008On-the-Expressivenes,
  address = {Pittsburgh, Pennsylvania, USA},
  alan = {1},
  author = {Ivan Lanese and Jorge A. P{\'e}rez and Davide Sangiorgi and Alan Schmitt},
  booktitle = {Proceedings of the 23rd Annual IEEE Symposium on Logic in Computer Science (LICS 2008)},
  conf = {http://www.irisa.fr/celtique/aschmitt/papers/Lanese2008On-the-Expressivenes.pdf},
  doi = {10.1109/LICS.2008.8},
  month = jun,
  pages = {145--155},
  read = {1},
  slides = {http://www.irisa.fr/celtique/aschmitt/papers/LICS_2008_short.html},
  title = {On the Expressiveness and Decidability of Higher-Order Process Calculi},
  year = {2008}
}
@inproceedings{Lanese2010On-the-Expressivenes,
  address = {Bordeaux, France},
  alan = {1},
  author = {Ivan Lanese and Jorge A. P{\'e}rez and Davide Sangiorgi and Alan Schmitt},
  booktitle = {Proceedings of the 37th International Colloquium on Automata, Languages and Programming (ICALP 2010)},
  conf = {http://www.irisa.fr/celtique/aschmitt/papers/Lanese2010On-the-Expressivenes.pdf},
  date-added = {2010-05-03 17:20:40 +0200},
  date-modified = {2012-01-19 10:16:37 +0000},
  editor = {Samson Abramsky and Cyril Gavoille and Claude Kirchner and Friedhelm Meyer auf der Heide and Paul G. Spirakis},
  keywords = {higher-order, process calculus},
  month = jun,
  pages = {442--453},
  publisher = {Springer},
  read = {1},
  series = {Lecture Notes in Computer Science},
  title = {On the Expressiveness of Polyadic and Synchronous Communication in Higher-Order Process Calculi},
  volume = {6199},
  year = {2010}
}
@inproceedings{Lanese2011Controlling-Reversib,
  address = {Aachen, Germany},
  alan = {1},
  author = {Lanese, Ivan and Mezzina, Claudio Antares and Schmitt, Alan and Stefani, Jean-Bernard},
  booktitle = {Proceedings of the 22nd International Conference on Concurrency Theory (CONCUR 2011)},
  conf = {http://www.irisa.fr/celtique/aschmitt/papers/Lanese2011Controlling-Reversib.pdf},
  date-added = {2011-08-05 13:31:03 +0200},
  date-modified = {2013-10-16 13:47:13 +0000},
  month = sep,
  pages = {297--311},
  publisher = {Springer},
  read = {1},
  series = {Lecture Notes in Computer Science},
  title = {Controlling Reversibility in Higher-Order Pi},
  volume = {6901},
  year = {2011}
}
@inproceedings{LaneseLienhardtMezzinaSchmittStefani-ESOP-2013,
  acronym = {ESOP 2013},
  alan = {1},
  author = {Lanese, Ivan and Lienhardt, Michaël and Mezzina, Claudio Antares and Schmitt, Alan and Stefani, Jean-Bernard},
  booktitle = {Proceedings of the 22nd European Symposium on Programming (ESOP 2013)},
  conf = {http://www.irisa.fr/celtique/aschmitt/papers/Lanese2013Concurrent-Flexible-.pdf},
  date-added = {2012-12-17 08:26:57 +0000},
  date-modified = {2013-12-10 10:27:06 +0000},
  month = mar,
  pages = {370--390},
  read = {1},
  series = {Lecture Notes in Computer Science},
  title = {Concurrent Flexible Reversibility},
  volume = {7792},
  year = {2013}
}
@inproceedings{Lenglet2009Howes-Method-for-Cal,
  address = {Bologna, Italy},
  alan = {1},
  author = {Sergue{\"\i} Lenglet and Alan Schmitt and Jean-Bernard Stefani},
  booktitle = {Proceedings of the 20th International Conference on Concurrency Theory (CONCUR 2009)},
  conf = {http://www.irisa.fr/celtique/aschmitt/papers/Lenglet2009Howes-Method-for-Cal.pdf},
  date-added = {2009-08-28 16:02:45 +0200},
  date-modified = {2010-06-07 16:31:24 +0200},
  editor = {Mario Bravetti and Gianluigi Zavattaro},
  keywords = {Kell},
  month = sep,
  pages = {448--462},
  publisher = {Springer},
  read = {1},
  series = {Lecture Notes in Computer Science},
  title = {Howe's Method for Calculi with Passivation},
  volume = {5710},
  year = {2009},
  bdsk-file-1 = {YnBsaXN0MDDUAQIDBAUGJCVYJHZlcnNpb25YJG9iamVjdHNZJGFyY2hpdmVyVCR0b3ASAAGGoKgHCBMUFRYaIVUkbnVsbNMJCgsMDxJXTlMua2V5c1pOUy5vYmplY3RzViRjbGFzc6INDoACgAOiEBGABIAFgAdccmVsYXRpdmVQYXRoWWFsaWFzRGF0YV8QPy4uLy4uL0RvY3VtZW50cy9CaWJEZXNrRG9jcy9MZW5nbGV0MjAwOUhvd2VzLU1ldGhvZC1mb3ItQ2FsLnBkZtIXCxgZV05TLmRhdGFPEQHyAAAAAAHyAAIAAAxNYWNpbnRvc2ggSEQAAAAAAAAAAAAAAAAAAADP1EbmSCsAAAAP55kfTGVuZ2xldDIwMDlIb3dlcy1NZXRoI0ZFODM5LnBkZgAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA/oOcZUFJIAAAAAAAAAAAACAAMAAAkgAAAAAAAAAAAAAAAAAAAAC0JpYkRlc2tEb2NzAAAQAAgAAM/UKsYAAAARAAgAAMZT+HIAAAABABAAD+eZAA+yiAAJoPYAAmb5AAIAVU1hY2ludG9zaCBIRDpVc2VyczoAc2NobWl0dGE6AERvY3VtZW50czoAQmliRGVza0RvY3M6AExlbmdsZXQyMDA5SG93ZXMtTWV0aCNGRTgzOS5wZGYAAA4ASAAjAEwAZQBuAGcAbABlAHQAMgAwADAAOQBIAG8AdwBlAHMALQBNAGUAdABoAG8AZAAtAGYAbwByAC0AQwBhAGwALgBwAGQAZgAPABoADABNAGEAYwBpAG4AdABvAHMAaAAgAEgARAASAEhVc2Vycy9zY2htaXR0YS9Eb2N1bWVudHMvQmliRGVza0RvY3MvTGVuZ2xldDIwMDlIb3dlcy1NZXRob2QtZm9yLUNhbC5wZGYAEwABLwAAFQACAA///wAAgAbSGxwdHlokY2xhc3NuYW1lWCRjbGFzc2VzXU5TTXV0YWJsZURhdGGjHR8gVk5TRGF0YVhOU09iamVjdNIbHCIjXE5TRGljdGlvbmFyeaIiIF8QD05TS2V5ZWRBcmNoaXZlctEmJ1Ryb290gAEACAARABoAIwAtADIANwBAAEYATQBVAGAAZwBqAGwAbgBxAHMAdQB3AIQAjgDQANUA3QLTAtUC2gLlAu4C/AMAAwcDEAMVAyIDJQM3AzoDPwAAAAAAAAIBAAAAAAAAACgAAAAAAAAAAAAAAAAAAANB}
}
@inproceedings{Lenglet2009Normal-bisimulations,
  address = {York, United Kingdom},
  alan = {1},
  author = {Sergue{\"\i} Lenglet and Alan Schmitt and Jean-Bernard Stefani},
  booktitle = {Proceedings of the 12th International Conference on Foundations of Software Science and Computational Structures (FOSSACS 2009)},
  conf = {http://www.irisa.fr/celtique/aschmitt/papers/Lenglet2009Normal-bisimulations.pdf},
  date-added = {2009-03-30 11:10:02 +0200},
  date-modified = {2010-06-14 11:23:26 +0200},
  doi = {10.1007/978-3-642-00596-1_19},
  editor = {Luca de Alfaro},
  keywords = {Kell},
  month = mar,
  pages = {257--271},
  publisher = {Springer},
  read = {1},
  series = {Lecture Notes in Computer Science},
  title = {Normal bisimulations in process calculi with passivation},
  volume = {5504},
  year = {2009},
  bdsk-file-1 = {YnBsaXN0MDDUAQIDBAUGJCVYJHZlcnNpb25YJG9iamVjdHNZJGFyY2hpdmVyVCR0b3ASAAGGoKgHCBMUFRYaIVUkbnVsbNMJCgsMDxJXTlMua2V5c1pOUy5vYmplY3RzViRjbGFzc6INDoACgAOiEBGABIAFgAdccmVsYXRpdmVQYXRoWWFsaWFzRGF0YV8QPy4uLy4uL0RvY3VtZW50cy9CaWJEZXNrRG9jcy9MZW5nbGV0MjAwOU5vcm1hbC1iaXNpbXVsYXRpb25zLnBkZtIXCxgZV05TLmRhdGFPEQHyAAAAAAHyAAIAAAxNYWNpbnRvc2ggSEQAAAAAAAAAAAAAAAAAAADP1EbmSCsAAAAP55kfTGVuZ2xldDIwMDlOb3JtYWwtYmlzI0ZFODNBLnBkZgAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA/oOsX2WzUAAAAAAAAAAAACAAMAAAkgAAAAAAAAAAAAAAAAAAAAC0JpYkRlc2tEb2NzAAAQAAgAAM/UKsYAAAARAAgAAMX2PxUAAAABABAAD+eZAA+yiAAJoPYAAmb5AAIAVU1hY2ludG9zaCBIRDpVc2VyczoAc2NobWl0dGE6AERvY3VtZW50czoAQmliRGVza0RvY3M6AExlbmdsZXQyMDA5Tm9ybWFsLWJpcyNGRTgzQS5wZGYAAA4ASAAjAEwAZQBuAGcAbABlAHQAMgAwADAAOQBOAG8AcgBtAGEAbAAtAGIAaQBzAGkAbQB1AGwAYQB0AGkAbwBuAHMALgBwAGQAZgAPABoADABNAGEAYwBpAG4AdABvAHMAaAAgAEgARAASAEhVc2Vycy9zY2htaXR0YS9Eb2N1bWVudHMvQmliRGVza0RvY3MvTGVuZ2xldDIwMDlOb3JtYWwtYmlzaW11bGF0aW9ucy5wZGYAEwABLwAAFQACAA///wAAgAbSGxwdHlokY2xhc3NuYW1lWCRjbGFzc2VzXU5TTXV0YWJsZURhdGGjHR8gVk5TRGF0YVhOU09iamVjdNIbHCIjXE5TRGljdGlvbmFyeaIiIF8QD05TS2V5ZWRBcmNoaXZlctEmJ1Ryb290gAEACAARABoAIwAtADIANwBAAEYATQBVAGAAZwBqAGwAbgBxAHMAdQB3AIQAjgDQANUA3QLTAtUC2gLlAu4C/AMAAwcDEAMVAyIDJQM3AzoDPwAAAAAAAAIBAAAAAAAAACgAAAAAAAAAAAAAAAAAAANB}
}
@inproceedings{LengletSchmitt2015,
  hal = {https://hal.inria.fr/hal-01192699},
  alan = {1},
  venue = {Madrid, Spain},
  booktitle = {Proceedings of the 26th International Conference on Concurrency Theory (Concur 2015)},
  month = sep,
  year = {2015},
  title = {Howe's Method for Contextual Semantics},
  author = {Lenglet, Sergueï and Schmitt, Alan}
}
@inproceedings{Lienhardt2007Oz/K:-A-Kernel-Langu,
  address = {Salzburg, Austria},
  alan = {1},
  author = {Micha{\"e}l Lienhardt and Jean-Bernard Stefani and Alan Schmitt},
  booktitle = {6th International Conference on Generative Programming and Component Engineering (GPCE'07)},
  conf = {http://www.irisa.fr/celtique/aschmitt/papers/GPCE07-Lienhardt-Stefani-Schmitt.pdf},
  date-added = {2007-07-23 16:05:45 +0200},
  date-modified = {2011-01-06 10:45:41 +0100},
  doi = {http://dx.doi.org/10.1145/1289971.1289980},
  editor = {ACM},
  keywords = {Kell},
  month = oct,
  pages = {43--52},
  read = {1},
  title = {Oz/K: A Kernel Language for Component-Based Open Programming},
  year = {2007},
  bdsk-url-1 = {http://dx.doi.org/10.1145/1289971.1289980},
  bdsk-url-2 = {http://www.irisa.fr/celtique/aschmitt/papers/GPCE07-Lienhardt-Stefani-Schmitt.pdf}
}
@inproceedings{Lienhardt2008Typing-Communicating,
  address = {Nashville, TN, USA},
  alan = {1},
  author = {Micha{\"e}l Lienhardt and Alan Schmitt and Jean-Bernard Stefani},
  booktitle = {Proceedings of the 7th International Conference on Generative Programming and Component Engineering (GPCE'08)},
  conf = {http://www.irisa.fr/celtique/aschmitt/papers/Lienhardt2008Typing-Communicating.pdf},
  date-added = {2008-10-13 13:19:01 +0200},
  date-modified = {2010-06-16 18:04:09 +0200},
  doi = {10.1145/1449913.1449933},
  month = oct,
  pages = {125--136},
  publisher = {ACM},
  read = {1},
  title = {Typing Communicating Component Assemblages},
  year = {2008},
  bdsk-file-1 = {YnBsaXN0MDDUAQIDBAUGJCVYJHZlcnNpb25YJG9iamVjdHNZJGFyY2hpdmVyVCR0b3ASAAGGoKgHCBMUFRYaIVUkbnVsbNMJCgsMDxJXTlMua2V5c1pOUy5vYmplY3RzViRjbGFzc6INDoACgAOiEBGABIAFgAdccmVsYXRpdmVQYXRoWWFsaWFzRGF0YV8QQS4uLy4uL0RvY3VtZW50cy9CaWJEZXNrRG9jcy9MaWVuaGFyZHQyMDA4VHlwaW5nLUNvbW11bmljYXRpbmcucGRm0hcLGBlXTlMuZGF0YU8RAfgAAAAAAfgAAgAADE1hY2ludG9zaCBIRAAAAAAAAAAAAAAAAAAAAM/URuZIKwAAAA/nmR9MaWVuaGFyZHQyMDA4VHlwaW5nLUMjRkU4NDAucGRmAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAD+hAxWLMBQAAAAAAAAAAAAIAAwAACSAAAAAAAAAAAAAAAAAAAAALQmliRGVza0RvY3MAABAACAAAz9QqxgAAABEACAAAxWK99QAAAAEAEAAP55kAD7KIAAmg9gACZvkAAgBVTWFjaW50b3NoIEhEOlVzZXJzOgBzY2htaXR0YToARG9jdW1lbnRzOgBCaWJEZXNrRG9jczoATGllbmhhcmR0MjAwOFR5cGluZy1DI0ZFODQwLnBkZgAADgBMACUATABpAGUAbgBoAGEAcgBkAHQAMgAwADAAOABUAHkAcABpAG4AZwAtAEMAbwBtAG0AdQBuAGkAYwBhAHQAaQBuAGcALgBwAGQAZgAPABoADABNAGEAYwBpAG4AdABvAHMAaAAgAEgARAASAEpVc2Vycy9zY2htaXR0YS9Eb2N1bWVudHMvQmliRGVza0RvY3MvTGllbmhhcmR0MjAwOFR5cGluZy1Db21tdW5pY2F0aW5nLnBkZgATAAEvAAAVAAIAD///AACABtIbHB0eWiRjbGFzc25hbWVYJGNsYXNzZXNdTlNNdXRhYmxlRGF0YaMdHyBWTlNEYXRhWE5TT2JqZWN00hscIiNcTlNEaWN0aW9uYXJ5oiIgXxAPTlNLZXllZEFyY2hpdmVy0SYnVHJvb3SAAQAIABEAGgAjAC0AMgA3AEAARgBNAFUAYABnAGoAbABuAHEAcwB1AHcAhACOANIA1wDfAtsC3QLiAu0C9gMEAwgDDwMYAx0DKgMtAz8DQgNHAAAAAAAAAgEAAAAAAAAAKAAAAAAAAAAAAAAAAAAAA0k=}
}
@inproceedings{Lienhardt2009Typing-Component-Bas,
  address = {Lisbon, Portugal},
  alan = {1},
  author = {Micha{\"e}l Lienhardt and Claudio Antares Mezzina and Alan Schmitt and Jean-Bernard Stefani},
  booktitle = {Proceedings of the 11th Formal Methods for Open Object-Based Distributed Systems (FMOODS) \& 29th Formal Techniques for Networked and Distributed Systems (FORTE)},
  conf = {http://www.irisa.fr/celtique/aschmitt/papers/Lienhardt2009Typing-Component-Bas.pdf},
  date-added = {2009-03-30 11:35:43 +0200},
  date-modified = {2010-06-07 16:31:24 +0200},
  doi = {http://dx.doi.org/10.1007/978-3-642-02138-1_11},
  keywords = {Kell},
  month = jun,
  pages = {167--181},
  publisher = {Springer-Verlag},
  read = {1},
  series = {Lecture Notes in Computer Science},
  title = {Typing Component-Based Communication Systems},
  volume = {5522},
  year = {2009},
  bdsk-file-1 = {YnBsaXN0MDDUAQIDBAUGJCVYJHZlcnNpb25YJG9iamVjdHNZJGFyY2hpdmVyVCR0b3ASAAGGoKgHCBMUFRYaIVUkbnVsbNMJCgsMDxJXTlMua2V5c1pOUy5vYmplY3RzViRjbGFzc6INDoACgAOiEBGABIAFgAdccmVsYXRpdmVQYXRoWWFsaWFzRGF0YV8QQS4uLy4uL0RvY3VtZW50cy9CaWJEZXNrRG9jcy9MaWVuaGFyZHQyMDA5VHlwaW5nLUNvbXBvbmVudC1CYXMucGRm0hcLGBlXTlMuZGF0YU8RAfgAAAAAAfgAAgAADE1hY2ludG9zaCBIRAAAAAAAAAAAAAAAAAAAAM/URuZIKwAAAA/nmR9MaWVuaGFyZHQyMDA5VHlwaW5nLUMjRkU4NDIucGRmAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAD+hCxtPwsgAAAAAAAAAAAAIAAwAACSAAAAAAAAAAAAAAAAAAAAALQmliRGVza0RvY3MAABAACAAAz9QqxgAAABEACAAAxtPUkgAAAAEAEAAP55kAD7KIAAmg9gACZvkAAgBVTWFjaW50b3NoIEhEOlVzZXJzOgBzY2htaXR0YToARG9jdW1lbnRzOgBCaWJEZXNrRG9jczoATGllbmhhcmR0MjAwOVR5cGluZy1DI0ZFODQyLnBkZgAADgBMACUATABpAGUAbgBoAGEAcgBkAHQAMgAwADAAOQBUAHkAcABpAG4AZwAtAEMAbwBtAHAAbwBuAGUAbgB0AC0AQgBhAHMALgBwAGQAZgAPABoADABNAGEAYwBpAG4AdABvAHMAaAAgAEgARAASAEpVc2Vycy9zY2htaXR0YS9Eb2N1bWVudHMvQmliRGVza0RvY3MvTGllbmhhcmR0MjAwOVR5cGluZy1Db21wb25lbnQtQmFzLnBkZgATAAEvAAAVAAIAD///AACABtIbHB0eWiRjbGFzc25hbWVYJGNsYXNzZXNdTlNNdXRhYmxlRGF0YaMdHyBWTlNEYXRhWE5TT2JqZWN00hscIiNcTlNEaWN0aW9uYXJ5oiIgXxAPTlNLZXllZEFyY2hpdmVy0SYnVHJvb3SAAQAIABEAGgAjAC0AMgA3AEAARgBNAFUAYABnAGoAbABuAHEAcwB1AHcAhACOANIA1wDfAtsC3QLiAu0C9gMEAwgDDwMYAx0DKgMtAz8DQgNHAAAAAAAAAgEAAAAAAAAAKAAAAAAAAAAAAAAAAAAAA0k=}
}
@inproceedings{MaksimovicSchmitt2015,
  hal = {https://hal.archives-ouvertes.fr/hal-01243017},
  publisher = {Springer},
  pages = {278--293},
  series = {Lecture Notes in Computer Science},
  volume = {9236},
  editor = {Urban, Christian and Zhang, Xingyuan},
  doi = {10.1007/978-3-319-22102-1_19},
  month = aug,
  alan = {1},
  booktitle = {Proceedings of the 6th conference on Interactive Theorem Proving (ITP 2015)},
  year = {2015},
  title = {HOCore in Coq},
  author = {Maksimović, Petar and Schmitt, Alan}
}
@inproceedings{Schmitt2002Safe-Dynamic-Binding,
  address = {Montreal, Canada},
  alan = {1},
  author = {Alan Schmitt},
  booktitle = {Proceedings of IFIP TCS 2002},
  conf = {http://www.irisa.fr/celtique/aschmitt/papers/dynjoin.ps.gz},
  date-modified = {2011-01-06 10:52:49 +0100},
  editor = {R. Baeza-Yates and U. Montanari and N. Santoro},
  note = {[This is the original version that was accepted for publication, before the page cut requested for the final version. This version contains additional examples.]},
  pages = {563--575},
  publisher = {Kluwer},
  read = {1},
  series = {IFIP},
  title = {{Safe Dynamic Binding in the Join Calculus}},
  volume = 96,
  year = 2002,
  bdsk-url-1 = {http://www.irisa.fr/celtique/aschmitt/papers/dynjoin.ps.gz}
}
@inproceedings{Schmitt2003The-M-Calculus:-A-Hi,
  address = {New Orleans, LA, USA},
  alan = {1},
  author = {Alan Schmitt and Jean-Bernard Stefani},
  booktitle = {Proceeding 30th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL 2003)},
  conf = {http://www.irisa.fr/celtique/aschmitt/papers/mcalculus_popl03.ps.gz},
  date-modified = {2011-02-18 14:39:42 +0100},
  month = jan,
  read = {1},
  title = {{The M-Calculus: A Higher Order Distributed Process Calculus}},
  year = 2003,
  bdsk-file-1 = {YnBsaXN0MDDUAQIDBAUGJCVYJHZlcnNpb25YJG9iamVjdHNZJGFyY2hpdmVyVCR0b3ASAAGGoKgHCBMUFRYaIVUkbnVsbNMJCgsMDxJXTlMua2V5c1pOUy5vYmplY3RzViRjbGFzc6INDoACgAOiEBGABIAFgAdccmVsYXRpdmVQYXRoWWFsaWFzRGF0YV8QPi4uLy4uL0RvY3VtZW50cy9CaWJEZXNrRG9jcy9TY2htaXR0MjAwM1RoZS1NLUNhbGN1bHVzLUEtSGkucGRm0hcLGBlXTlMuZGF0YU8RAfAAAAAAAfAAAgAADE1hY2ludG9zaCBIRAAAAAAAAAAAAAAAAAAAAM/URuZIKwAAAA/nmR9TY2htaXR0MjAwM1RoZS1NLUNhbGMjRkU4NkIucGRmAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAD+hryXccRgAAAAAAAAAAAAIAAwAACSAAAAAAAAAAAAAAAAAAAAALQmliRGVza0RvY3MAABAACAAAz9QqxgAAABEACAAAyXcONgAAAAEAEAAP55kAD7KIAAmg9gACZvkAAgBVTWFjaW50b3NoIEhEOlVzZXJzOgBzY2htaXR0YToARG9jdW1lbnRzOgBCaWJEZXNrRG9jczoAU2NobWl0dDIwMDNUaGUtTS1DYWxjI0ZFODZCLnBkZgAADgBGACIAUwBjAGgAbQBpAHQAdAAyADAAMAAzAFQAaABlAC0ATQAtAEMAYQBsAGMAdQBsAHUAcwAtAEEALQBIAGkALgBwAGQAZgAPABoADABNAGEAYwBpAG4AdABvAHMAaAAgAEgARAASAEdVc2Vycy9zY2htaXR0YS9Eb2N1bWVudHMvQmliRGVza0RvY3MvU2NobWl0dDIwMDNUaGUtTS1DYWxjdWx1cy1BLUhpLnBkZgAAEwABLwAAFQACAA///wAAgAbSGxwdHlokY2xhc3NuYW1lWCRjbGFzc2VzXU5TTXV0YWJsZURhdGGjHR8gVk5TRGF0YVhOU09iamVjdNIbHCIjXE5TRGljdGlvbmFyeaIiIF8QD05TS2V5ZWRBcmNoaXZlctEmJ1Ryb290gAEACAARABoAIwAtADIANwBAAEYATQBVAGAAZwBqAGwAbgBxAHMAdQB3AIQAjgDPANQA3ALQAtIC1wLiAusC+QL9AwQDDQMSAx8DIgM0AzcDPAAAAAAAAAIBAAAAAAAAACgAAAAAAAAAAAAAAAAAAAM+}
}
@comment{{Local Variables:
  bibtex-dialect: biblatex
  End:
}}