alan-conference.bib
@comment{{This file has been generated by bib2bib 1.95}}
@comment{{Command line: /Users/schmitta/bin/bib2bib -ob alan-conference.bib -oc alan-conference.keys -c '(Alan:"1") & ($type="INPROCEEDINGS") & (!Workshop:"1") & (!Talk:"1")' alan.bib}}
@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 = {2011-10-17 15:20:38 +0000},
month = sep,
pages = {297--311},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
title = {Controlling Reversibility in Higher-Order Pi},
volume = {6901},
year = {2011},
bdsk-file-1 = {YnBsaXN0MDDUAQIDBAUIJidUJHRvcFgkb2JqZWN0c1gkdmVyc2lvblkkYXJjaGl2ZXLRBgdUcm9vdIABqAkKFRYXGyIjVSRudWxs0wsMDQ4RFFpOUy5vYmplY3RzV05TLmtleXNWJGNsYXNzog8QgASABqISE4ACgAOAB1lhbGlhc0RhdGFccmVsYXRpdmVQYXRo0hgNGRpXTlMuZGF0YU8RAtgAAAAAAtgAAgAADE1hY2ludG9zaCBIRAAAAAAAAAAAAAAAAAAAAMo8jSNIKwAAAAbO/R8yMDExLjA5LjAxLUVhcnQtQ29udHIjNzIzRUQucGRmAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAByPtymGg+AAAAAAAAAAAAAIAAwAACSAAAAAAAAAAAAAAAAAAAAALQmliRGVza0RvY3MAABAACAAAyjxxAwAAABEACAAAymGE2AAAAAEAEAAGzv0ABs5TAAUBCQAAvzEAAgBTTWFjaW50b3NoIEhEOlVzZXJzOgBzY2htaXR0YToARHJvcGJveDoAQmliRGVza0RvY3M6ADIwMTEuMDkuMDEtRWFydC1Db250ciM3MjNFRC5wZGYAAA4A5ABxADIAMAAxADEALgAwADkALgAwADEALQBFAGEAcgB0AC0AQwBvAG4AdAByAG8AbABsAGkAbgBnACAAUgBlAHYAZQByAHMAaQBiAGkAbABpAHQAeQAgAGkAbgAgAEgAaQBnAGgAZQByAC0ATwByAGQAZQByACAAUABpACAAYgB5ACAATABhAG4AZQBzAGUALgAgAEkALAAgAE0AZQB6AHoAaQBuAGEALgAgAEMALAAgAFMAYwBoAG0AaQB0AHQALgAgAEEALAAgAFMAdABlAGYAYQBuAGkALgAgAEoALgBwAGQAZgAPABoADABNAGEAYwBpAG4AdABvAHMAaAAgAEgARAASAJRVc2Vycy9zY2htaXR0YS9Ecm9wYm94L0JpYkRlc2tEb2NzLzIwMTEuMDkuMDEtRWFydC1Db250cm9sbGluZyBSZXZlcnNpYmlsaXR5IGluIEhpZ2hlci1PcmRlciBQaSBieSBMYW5lc2UuIEksIE1lenppbmEuIEMsIFNjaG1pdHQuIEEsIFN0ZWZhbmkuIEoucGRmABMAAS8AABUAAgAP//8AAIAF0hwdHh9YJGNsYXNzZXNaJGNsYXNzbmFtZaMfICFdTlNNdXRhYmxlRGF0YVZOU0RhdGFYTlNPYmplY3RfEIsuLi8uLi9Ecm9wYm94L0JpYkRlc2tEb2NzLzIwMTEuMDkuMDEtRWFydC1Db250cm9sbGluZyBSZXZlcnNpYmlsaXR5IGluIEhpZ2hlci1PcmRlciBQaSBieSBMYW5lc2UuIEksIE1lenppbmEuIEMsIFNjaG1pdHQuIEEsIFN0ZWZhbmkuIEoucGRm0hwdJCWiJSFcTlNEaWN0aW9uYXJ5EgABhqBfEA9OU0tleWVkQXJjaGl2ZXIACAARABYAHwAoADIANQA6ADwARQBLAFIAXQBlAGwAbwBxAHMAdgB4AHoAfACGAJMAmACgA3wDfgODA4wDlwObA6kDsAO5BEcETARPBFwEYQAAAAAAAAIBAAAAAAAAACgAAAAAAAAAAAAAAAAAAARz}
}
@inproceedings{Barcenas2011Query-Reasoning-on-T,
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},
date-added = {2011-08-05 11:27:58 +0200},
date-modified = {2011-08-05 13:57:55 +0200},
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},
bdsk-file-1 = {YnBsaXN0MDDUAQIDBAUIJidUJHRvcFgkb2JqZWN0c1gkdmVyc2lvblkkYXJjaGl2ZXLRBgdUcm9vdIABqAkKFRYXGyIjVSRudWxs0wsMDQ4RFFpOUy5vYmplY3RzV05TLmtleXNWJGNsYXNzog8QgASABqISE4ACgAOAB1lhbGlhc0RhdGFccmVsYXRpdmVQYXRo0hgNGRpXTlMuZGF0YU8RAzgAAAAAAzgAAgAADE1hY2ludG9zaCBIRAAAAAAAAAAAAAAAAAAAAMcXXChIKwAAAD+IbB8yMDExLjA3LjAxLUVhcnQtUXVlciNDRjdCNTUucGRmAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAz3tVyciPJwAAAAAAAAAAAAIABAAACSAAAAAAAAAAAAAAAAAAAAALQmliRGVza0RvY3MAABAACAAAxxdOGAAAABEACAAAychzBwAAAAEAFAA/iGwACBmbAAgJsQAIBa0AAJGNAAIAWU1hY2ludG9zaCBIRDpVc2VyczpzY2htaXR0YTpEb2N1bWVudHM6RHJvcGJveDpCaWJEZXNrRG9jczoyMDExLjA3LjAxLUVhcnQtUXVlciNDRjdCNTUucGRmAAAOARQAiQAyADAAMQAxAC4AMAA3AC4AMAAxAC0ARQBhAHIAdAAtAFEAdQBlAHIAeQAgAFIAZQBhAHMAbwBuAGkAbgBnACAAbwBuACAAVAByAGUAZQBzACAAdwBpAHQAaAAgAFQAeQBwAGUAcwAsACAASQBuAHQAZQByAGwAZQBhAHYAaQBuAGcALAAgAGEAbgBkACAAQwBvAHUAbgB0AGkAbgBnACAAYgB5ACAAQgBhAwEAcgBjAGUAbgBhAHMALgAgAEUALAAgAEcAZQBuAGUAdgBlAwAAcwAuACAAUAAsACAATABhAHkAYQBpAwgAZABhAC4AIABOACwAIABTAGMAaABtAGkAdAB0AC4AIABBAC4AcABkAGYADwAaAAwATQBhAGMAaQBuAHQAbwBzAGgAIABIAEQAEgC5VXNlcnMvc2NobWl0dGEvRG9jdW1lbnRzL0Ryb3Bib3gvQmliRGVza0RvY3MvMjAxMS4wNy4wMS1FYXJ0LVF1ZXJ5IFJlYXNvbmluZyBvbiBUcmVlcyB3aXRoIFR5cGVzLCBJbnRlcmxlYXZpbmcsIGFuZCBDb3VudGluZyBieSBCYcyBcmNlbmFzLiBFLCBHZW5ldmXMgHMuIFAsIExheWFpzIhkYS4gTiwgU2NobWl0dC4gQS5wZGYAABMAAS8AABUAAgAP//8AAIAF0hwdHh9YJGNsYXNzZXNaJGNsYXNzbmFtZaMfICFdTlNNdXRhYmxlRGF0YVZOU0RhdGFYTlNPYmplY3RvEK0ALgAuAC8ALgAuAC8ARABvAGMAdQBtAGUAbgB0AHMALwBEAHIAbwBwAGIAbwB4AC8AQgBpAGIARABlAHMAawBEAG8AYwBzAC8AMgAwADEAMQAuADAANwAuADAAMQAtAEUAYQByAHQALQBRAHUAZQByAHkAIABSAGUAYQBzAG8AbgBpAG4AZwAgAG8AbgAgAFQAcgBlAGUAcwAgAHcAaQB0AGgAIABUAHkAcABlAHMALAAgAEkAbgB0AGUAcgBsAGUAYQB2AGkAbgBnACwAIABhAG4AZAAgAEMAbwB1AG4AdABpAG4AZwAgAGIAeQAgAEIAYQMBAHIAYwBlAG4AYQBzAC4AIABFACwAIABHAGUAbgBlAHYAZQMAAHMALgAgAFAALAAgAEwAYQB5AGEAaQMIAGQAYQAuACAATgAsACAAUwBjAGgAbQBpAHQAdAAuACAAQQAuAHAAZABm0hwdJCWiJSFcTlNEaWN0aW9uYXJ5EgABhqBfEA9OU0tleWVkQXJjaGl2ZXIACAARABYAHwAoADIANQA6ADwARQBLAFIAXQBlAGwAbwBxAHMAdgB4AHoAfACGAJMAmACgA9wD3gPjA+wD9wP7BAkEEAQZBXYFewV+BYsFkAAAAAAAAAIBAAAAAAAAACgAAAAAAAAAAAAAAAAAAAWi}
}
@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},
bdsk-file-1 = {YnBsaXN0MDDUAQIDBAUIJidUJHRvcFgkb2JqZWN0c1gkdmVyc2lvblkkYXJjaGl2ZXLRBgdUcm9vdIABqAkKFRYXGyIjVSRudWxs0wsMDQ4RFFpOUy5vYmplY3RzV05TLmtleXNWJGNsYXNzog8QgASABqISE4ACgAOAB1lhbGlhc0RhdGFccmVsYXRpdmVQYXRo0hgNGRpXTlMuZGF0YU8RA4oAAAAAA4oAAgAADE1hY2ludG9zaCBIRAAAAAAAAAAAAAAAAAAAAMcXXChIKwAAAD+IbB8yMDEwLjA2LjAxLUVhcnQtT24gdCMyREY1QTIucGRmAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAALfWiyAS1/gAAAAAAAAAAAAIABAAACSAAAAAAAAAAAAAAAAAAAAALQmliRGVza0RvY3MAABAACAAAxxdOGAAAABEACAAAyASZ3gAAAAEAFAA/iGwACBmbAAgJsQAIBa0AAJGNAAIAWU1hY2ludG9zaCBIRDpVc2VyczpzY2htaXR0YTpEb2N1bWVudHM6RHJvcGJveDpCaWJEZXNrRG9jczoyMDEwLjA2LjAxLUVhcnQtT24gdCMyREY1QTIucGRmAAAOAUwApQAyADAAMQAwAC4AMAA2AC4AMAAxAC0ARQBhAHIAdAAtAE8AbgAgAHQAaABlACAARQB4AHAAcgBlAHMAcwBpAHYAZQBuAGUAcwBzACAAbwBmACAAUABvAGwAeQBhAGQAaQBjACAAYQBuAGQAIABTAHkAbgBjAGgAcgBvAG4AbwB1AHMAIABDAG8AbQBtAHUAbgBpAGMAYQB0AGkAbwBuACAAaQBuACAASABpAGcAaABlAHIALQBPAHIAZABlAHIAIABQAHIAbwBjAGUAcwBzACAAQwBhAGwAYwB1AGwAaQAgAGIAeQAgAEwAYQBuAGUAcwBlAC4AIABJACwAIABQAGUDAQByAGUAegAuACAASgAsACAAUwBhAG4AZwBpAG8AcgBnAGkALgAgAEQALAAgAFMAYwBoAG0AaQB0AHQALgAgAEEALgBwAGQAZgAPABoADABNAGEAYwBpAG4AdABvAHMAaAAgAEgARAASANNVc2Vycy9zY2htaXR0YS9Eb2N1bWVudHMvRHJvcGJveC9CaWJEZXNrRG9jcy8yMDEwLjA2LjAxLUVhcnQtT24gdGhlIEV4cHJlc3NpdmVuZXNzIG9mIFBvbHlhZGljIGFuZCBTeW5jaHJvbm91cyBDb21tdW5pY2F0aW9uIGluIEhpZ2hlci1PcmRlciBQcm9jZXNzIENhbGN1bGkgYnkgTGFuZXNlLiBJLCBQZcyBcmV6LiBKLCBTYW5naW9yZ2kuIEQsIFNjaG1pdHQuIEEucGRmAAATAAEvAAAVAAIAD///AACABdIcHR4fWCRjbGFzc2VzWiRjbGFzc25hbWWjHyAhXU5TTXV0YWJsZURhdGFWTlNEYXRhWE5TT2JqZWN0bxDJAC4ALgAvAC4ALgAvAEQAbwBjAHUAbQBlAG4AdABzAC8ARAByAG8AcABiAG8AeAAvAEIAaQBiAEQAZQBzAGsARABvAGMAcwAvADIAMAAxADAALgAwADYALgAwADEALQBFAGEAcgB0AC0ATwBuACAAdABoAGUAIABFAHgAcAByAGUAcwBzAGkAdgBlAG4AZQBzAHMAIABvAGYAIABQAG8AbAB5AGEAZABpAGMAIABhAG4AZAAgAFMAeQBuAGMAaAByAG8AbgBvAHUAcwAgAEMAbwBtAG0AdQBuAGkAYwBhAHQAaQBvAG4AIABpAG4AIABIAGkAZwBoAGUAcgAtAE8AcgBkAGUAcgAgAFAAcgBvAGMAZQBzAHMAIABDAGEAbABjAHUAbABpACAAYgB5ACAATABhAG4AZQBzAGUALgAgAEkALAAgAFAAZQMBAHIAZQB6AC4AIABKACwAIABTAGEAbgBnAGkAbwByAGcAaQAuACAARAAsACAAUwBjAGgAbQBpAHQAdAAuACAAQQAuAHAAZABm0hwdJCWiJSFcTlNEaWN0aW9uYXJ5EgABhqBfEA9OU0tleWVkQXJjaGl2ZXIACAARABYAHwAoADIANQA6ADwARQBLAFIAXQBlAGwAbwBxAHMAdgB4AHoAfACGAJMAmACgBC4EMAQ1BD4ESQRNBFsEYgRrBgAGBQYIBhUGGgAAAAAAAAIBAAAAAAAAACgAAAAAAAAAAAAAAAAAAAYs}
}
@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 = {YnBsaXN0MDDUAQIDBAUIJidUJHRvcFgkb2JqZWN0c1gkdmVyc2lvblkkYXJjaGl2ZXLRBgdUcm9vdIABqAkKFRYXGyIjVSRudWxs0wsMDQ4RFFpOUy5vYmplY3RzV05TLmtleXNWJGNsYXNzog8QgASABqISE4ACgAOAB1lhbGlhc0RhdGFccmVsYXRpdmVQYXRo0hgNGRpXTlMuZGF0YU8RAsYAAAAAAsYAAgAADE1hY2ludG9zaCBIRAAAAAAAAAAAAAAAAAAAAMcXXChIKwAAAD+IbB8yMDA5LjA5LjAxLUVhcnQtSG93ZScjOEI3NTcucGRmAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAACLdXxlP5AwAAAAAAAAAAAAIABAAACSAAAAAAAAAAAAAAAAAAAAALQmliRGVza0RvY3MAABAACAAAxxdOGAAAABEACAAAxlPc4wAAAAEAFAA/iGwACBmbAAgJsQAIBa0AAJGNAAIAWU1hY2ludG9zaCBIRDpVc2VyczpzY2htaXR0YTpEb2N1bWVudHM6RHJvcGJveDpCaWJEZXNrRG9jczoyMDA5LjA5LjAxLUVhcnQtSG93ZScjOEI3NTcucGRmAAAOAMoAZAAyADAAMAA5AC4AMAA5AC4AMAAxAC0ARQBhAHIAdAAtAEgAbwB3AGUAJwBzACAATQBlAHQAaABvAGQAIABmAG8AcgAgAEMAYQBsAGMAdQBsAGkAIAB3AGkAdABoACAAUABhAHMAcwBpAHYAYQB0AGkAbwBuACAAYgB5ACAATABlAG4AZwBsAGUAdAAuACAAUwAsACAAUwBjAGgAbQBpAHQAdAAuACAAQQAsACAAUwB0AGUAZgBhAG4AaQAuACAASgAuAHAAZABmAA8AGgAMAE0AYQBjAGkAbgB0AG8AcwBoACAASABEABIAkVVzZXJzL3NjaG1pdHRhL0RvY3VtZW50cy9Ecm9wYm94L0JpYkRlc2tEb2NzLzIwMDkuMDkuMDEtRWFydC1Ib3dlJ3MgTWV0aG9kIGZvciBDYWxjdWxpIHdpdGggUGFzc2l2YXRpb24gYnkgTGVuZ2xldC4gUywgU2NobWl0dC4gQSwgU3RlZmFuaS4gSi5wZGYAABMAAS8AABUAAgAP//8AAIAF0hwdHh9YJGNsYXNzZXNaJGNsYXNzbmFtZaMfICFdTlNNdXRhYmxlRGF0YVZOU0RhdGFYTlNPYmplY3RfEIguLi8uLi9Eb2N1bWVudHMvRHJvcGJveC9CaWJEZXNrRG9jcy8yMDA5LjA5LjAxLUVhcnQtSG93ZSdzIE1ldGhvZCBmb3IgQ2FsY3VsaSB3aXRoIFBhc3NpdmF0aW9uIGJ5IExlbmdsZXQuIFMsIFNjaG1pdHQuIEEsIFN0ZWZhbmkuIEoucGRm0hwdJCWiJSFcTlNEaWN0aW9uYXJ5EgABhqBfEA9OU0tleWVkQXJjaGl2ZXIACAARABYAHwAoADIANQA6ADwARQBLAFIAXQBlAGwAbwBxAHMAdgB4AHoAfACGAJMAmACgA2oDbANxA3oDhQOJA5cDngOnBDIENwQ6BEcETAAAAAAAAAIBAAAAAAAAACgAAAAAAAAAAAAAAAAAAARe}
}
@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 = {YnBsaXN0MDDUAQIDBAUIJidUJHRvcFgkb2JqZWN0c1gkdmVyc2lvblkkYXJjaGl2ZXLRBgdUcm9vdIABqAkKFRYXGyIjVSRudWxs0wsMDQ4RFFpOUy5vYmplY3RzV05TLmtleXNWJGNsYXNzog8QgASABqISE4ACgAOAB1lhbGlhc0RhdGFccmVsYXRpdmVQYXRo0hgNGRpXTlMuZGF0YU8RAvYAAAAAAvYAAgAADE1hY2ludG9zaCBIRAAAAAAAAAAAAAAAAAAAAMcXXChIKwAAAD+IbB8yMDA5LjA2LjAxLUVhcnQtVHlwaW4jOEI3NUEucGRmAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAACLdaxtPwsgAAAAAAAAAAAAIABAAACSAAAAAAAAAAAAAAAAAAAAALQmliRGVza0RvY3MAABAACAAAxxdOGAAAABEACAAAxtPUkgAAAAEAFAA/iGwACBmbAAgJsQAIBa0AAJGNAAIAWU1hY2ludG9zaCBIRDpVc2VyczpzY2htaXR0YTpEb2N1bWVudHM6RHJvcGJveDpCaWJEZXNrRG9jczoyMDA5LjA2LjAxLUVhcnQtVHlwaW4jOEI3NUEucGRmAAAOAOoAdAAyADAAMAA5AC4AMAA2AC4AMAAxAC0ARQBhAHIAdAAtAFQAeQBwAGkAbgBnACAAQwBvAG0AcABvAG4AZQBuAHQALQBCAGEAcwBlAGQAIABDAG8AbQBtAHUAbgBpAGMAYQB0AGkAbwBuACAAUwB5AHMAdABlAG0AcwAgAGIAeQAgAEwAaQBlAG4AaABhAHIAZAB0AC4AIABNACwAIABNAGUAegB6AGkAbgBhAC4AIABDACwAIABTAGMAaABtAGkAdAB0AC4AIABBACwAIABTAHQAZQBmAGEAbgBpAC4AIABKAC4AcABkAGYADwAaAAwATQBhAGMAaQBuAHQAbwBzAGgAIABIAEQAEgChVXNlcnMvc2NobWl0dGEvRG9jdW1lbnRzL0Ryb3Bib3gvQmliRGVza0RvY3MvMjAwOS4wNi4wMS1FYXJ0LVR5cGluZyBDb21wb25lbnQtQmFzZWQgQ29tbXVuaWNhdGlvbiBTeXN0ZW1zIGJ5IExpZW5oYXJkdC4gTSwgTWV6emluYS4gQywgU2NobWl0dC4gQSwgU3RlZmFuaS4gSi5wZGYAABMAAS8AABUAAgAP//8AAIAF0hwdHh9YJGNsYXNzZXNaJGNsYXNzbmFtZaMfICFdTlNNdXRhYmxlRGF0YVZOU0RhdGFYTlNPYmplY3RfEJguLi8uLi9Eb2N1bWVudHMvRHJvcGJveC9CaWJEZXNrRG9jcy8yMDA5LjA2LjAxLUVhcnQtVHlwaW5nIENvbXBvbmVudC1CYXNlZCBDb21tdW5pY2F0aW9uIFN5c3RlbXMgYnkgTGllbmhhcmR0LiBNLCBNZXp6aW5hLiBDLCBTY2htaXR0LiBBLCBTdGVmYW5pLiBKLnBkZtIcHSQloiUhXE5TRGljdGlvbmFyeRIAAYagXxAPTlNLZXllZEFyY2hpdmVyAAgAEQAWAB8AKAAyADUAOgA8AEUASwBSAF0AZQBsAG8AcQBzAHYAeAB6AHwAhgCTAJgAoAOaA5wDoQOqA7UDuQPHA84D1wRyBHcEegSHBIwAAAAAAAACAQAAAAAAAAAoAAAAAAAAAAAAAAAAAAAEng==}
}
@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 = {YnBsaXN0MDDUAQIDBAUIJidUJHRvcFgkb2JqZWN0c1gkdmVyc2lvblkkYXJjaGl2ZXLRBgdUcm9vdIABqAkKFRYXGyIjVSRudWxs0wsMDQ4RFFpOUy5vYmplY3RzV05TLmtleXNWJGNsYXNzog8QgASABqISE4ACgAOAB1lhbGlhc0RhdGFccmVsYXRpdmVQYXRo0hgNGRpXTlMuZGF0YU8RAvAAAAAAAvAAAgAADE1hY2ludG9zaCBIRAAAAAAAAAAAAAAAAAAAAMcXXChIKwAAAD+IbB8yMDA5LjAzLjAxLUVhcnQtTm9ybWEjOEI3NTgucGRmAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAACLdYxfZbNQAAAAAAAAAAAAIABAAACSAAAAAAAAAAAAAAAAAAAAALQmliRGVza0RvY3MAABAACAAAxxdOGAAAABEACAAAxfY/FQAAAAEAFAA/iGwACBmbAAgJsQAIBa0AAJGNAAIAWU1hY2ludG9zaCBIRDpVc2VyczpzY2htaXR0YTpEb2N1bWVudHM6RHJvcGJveDpCaWJEZXNrRG9jczoyMDA5LjAzLjAxLUVhcnQtTm9ybWEjOEI3NTgucGRmAAAOAOYAcgAyADAAMAA5AC4AMAAzAC4AMAAxAC0ARQBhAHIAdAAtAE4AbwByAG0AYQBsACAAYgBpAHMAaQBtAHUAbABhAHQAaQBvAG4AcwAgAGkAbgAgAHAAcgBvAGMAZQBzAHMAIABjAGEAbABjAHUAbABpACAAdwBpAHQAaAAgAHAAYQBzAHMAaQB2AGEAdABpAG8AbgAgAGIAeQAgAEwAZQBuAGcAbABlAHQALgAgAFMALAAgAFMAYwBoAG0AaQB0AHQALgAgAEEALAAgAFMAdABlAGYAYQBuAGkALgAgAEoALgBwAGQAZgAPABoADABNAGEAYwBpAG4AdABvAHMAaAAgAEgARAASAJ9Vc2Vycy9zY2htaXR0YS9Eb2N1bWVudHMvRHJvcGJveC9CaWJEZXNrRG9jcy8yMDA5LjAzLjAxLUVhcnQtTm9ybWFsIGJpc2ltdWxhdGlvbnMgaW4gcHJvY2VzcyBjYWxjdWxpIHdpdGggcGFzc2l2YXRpb24gYnkgTGVuZ2xldC4gUywgU2NobWl0dC4gQSwgU3RlZmFuaS4gSi5wZGYAABMAAS8AABUAAgAP//8AAIAF0hwdHh9YJGNsYXNzZXNaJGNsYXNzbmFtZaMfICFdTlNNdXRhYmxlRGF0YVZOU0RhdGFYTlNPYmplY3RfEJYuLi8uLi9Eb2N1bWVudHMvRHJvcGJveC9CaWJEZXNrRG9jcy8yMDA5LjAzLjAxLUVhcnQtTm9ybWFsIGJpc2ltdWxhdGlvbnMgaW4gcHJvY2VzcyBjYWxjdWxpIHdpdGggcGFzc2l2YXRpb24gYnkgTGVuZ2xldC4gUywgU2NobWl0dC4gQSwgU3RlZmFuaS4gSi5wZGbSHB0kJaIlIVxOU0RpY3Rpb25hcnkSAAGGoF8QD05TS2V5ZWRBcmNoaXZlcgAIABEAFgAfACgAMgA1ADoAPABFAEsAUgBdAGUAbABvAHEAcwB2AHgAegB8AIYAkwCYAKADlAOWA5sDpAOvA7MDwQPIA9EEagRvBHIEfwSEAAAAAAAAAgEAAAAAAAAAKAAAAAAAAAAAAAAAAAAABJY=}
}
@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 = {YnBsaXN0MDDUAQIDBAUIJidUJHRvcFgkb2JqZWN0c1gkdmVyc2lvblkkYXJjaGl2ZXLRBgdUcm9vdIABqAkKFRYXGyIjVSRudWxs0wsMDQ4RFFpOUy5vYmplY3RzV05TLmtleXNWJGNsYXNzog8QgASABqISE4ACgAOAB1lhbGlhc0RhdGFccmVsYXRpdmVQYXRo0hgNGRpXTlMuZGF0YU8RAswAAAAAAswAAgAADE1hY2ludG9zaCBIRAAAAAAAAAAAAAAAAAAAAMcXXChIKwAAAD+IbB8yMDA4LjEwLjAxLUVhcnQtVHlwaW4jOEI3NTkucGRmAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAACLdZxWLMBQAAAAAAAAAAAAIABAAACSAAAAAAAAAAAAAAAAAAAAALQmliRGVza0RvY3MAABAACAAAxxdOGAAAABEACAAAxWK99QAAAAEAFAA/iGwACBmbAAgJsQAIBa0AAJGNAAIAWU1hY2ludG9zaCBIRDpVc2VyczpzY2htaXR0YTpEb2N1bWVudHM6RHJvcGJveDpCaWJEZXNrRG9jczoyMDA4LjEwLjAxLUVhcnQtVHlwaW4jOEI3NTkucGRmAAAOAM4AZgAyADAAMAA4AC4AMQAwAC4AMAAxAC0ARQBhAHIAdAAtAFQAeQBwAGkAbgBnACAAQwBvAG0AbQB1AG4AaQBjAGEAdABpAG4AZwAgAEMAbwBtAHAAbwBuAGUAbgB0ACAAQQBzAHMAZQBtAGIAbABhAGcAZQBzACAAYgB5ACAATABpAGUAbgBoAGEAcgBkAHQALgAgAE0ALAAgAFMAYwBoAG0AaQB0AHQALgAgAEEALAAgAFMAdABlAGYAYQBuAGkALgAgAEoALgBwAGQAZgAPABoADABNAGEAYwBpAG4AdABvAHMAaAAgAEgARAASAJNVc2Vycy9zY2htaXR0YS9Eb2N1bWVudHMvRHJvcGJveC9CaWJEZXNrRG9jcy8yMDA4LjEwLjAxLUVhcnQtVHlwaW5nIENvbW11bmljYXRpbmcgQ29tcG9uZW50IEFzc2VtYmxhZ2VzIGJ5IExpZW5oYXJkdC4gTSwgU2NobWl0dC4gQSwgU3RlZmFuaS4gSi5wZGYAABMAAS8AABUAAgAP//8AAIAF0hwdHh9YJGNsYXNzZXNaJGNsYXNzbmFtZaMfICFdTlNNdXRhYmxlRGF0YVZOU0RhdGFYTlNPYmplY3RfEIouLi8uLi9Eb2N1bWVudHMvRHJvcGJveC9CaWJEZXNrRG9jcy8yMDA4LjEwLjAxLUVhcnQtVHlwaW5nIENvbW11bmljYXRpbmcgQ29tcG9uZW50IEFzc2VtYmxhZ2VzIGJ5IExpZW5oYXJkdC4gTSwgU2NobWl0dC4gQSwgU3RlZmFuaS4gSi5wZGbSHB0kJaIlIVxOU0RpY3Rpb25hcnkSAAGGoF8QD05TS2V5ZWRBcmNoaXZlcgAIABEAFgAfACgAMgA1ADoAPABFAEsAUgBdAGUAbABvAHEAcwB2AHgAegB8AIYAkwCYAKADcANyA3cDgAOLA48DnQOkA60EOgQ/BEIETwRUAAAAAAAAAgEAAAAAAAAAKAAAAAAAAAAAAAAAAAAABGY=}
}
@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},
date-added = {2008-03-22 11:11:04 +0100},
date-modified = {2010-06-23 15:57:50 +0200},
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},
bdsk-file-1 = {YnBsaXN0MDDUAQIDBAUIJidUJHRvcFgkb2JqZWN0c1gkdmVyc2lvblkkYXJjaGl2ZXLRBgdUcm9vdIABqAkKFRYXGyIjVSRudWxs0wsMDQ4RFFpOUy5vYmplY3RzV05TLmtleXNWJGNsYXNzog8QgASABqISE4ACgAOAB1lhbGlhc0RhdGFccmVsYXRpdmVQYXRo0hgNGRpXTlMuZGF0YU8RAz4AAAAAAz4AAgAADE1hY2ludG9zaCBIRAAAAAAAAAAAAAAAAAAAAMcXXChIKwAAAD+IbB8yMDA4LjA2LjAxLUVhcnQtT24gdGgjOEI3NTYucGRmAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAACLdWxFcVIgAAAAAAAAAAAAIABAAACSAAAAAAAAAAAAAAAAAAAAALQmliRGVza0RvY3MAABAACAAAxxdOGAAAABEACAAAxFb5AgAAAAEAFAA/iGwACBmbAAgJsQAIBa0AAJGNAAIAWU1hY2ludG9zaCBIRDpVc2VyczpzY2htaXR0YTpEb2N1bWVudHM6RHJvcGJveDpCaWJEZXNrRG9jczoyMDA4LjA2LjAxLUVhcnQtT24gdGgjOEI3NTYucGRmAAAOARoAjAAyADAAMAA4AC4AMAA2AC4AMAAxAC0ARQBhAHIAdAAtAE8AbgAgAHQAaABlACAARQB4AHAAcgBlAHMAcwBpAHYAZQBuAGUAcwBzACAAYQBuAGQAIABEAGUAYwBpAGQAYQBiAGkAbABpAHQAeQAgAG8AZgAgAEgAaQBnAGgAZQByAC0ATwByAGQAZQByACAAUAByAG8AYwBlAHMAcwAgAEMAYQBsAGMAdQBsAGkAIABiAHkAIABMAGEAbgBlAHMAZQAuACAASQAsACAAUABlAwEAcgBlAHoALgAgAEoALAAgAFMAYQBuAGcAaQBvAHIAZwBpAC4AIABEACwAIABTAGMAaABtAGkAdAB0AC4AIABBAC4AcABkAGYADwAaAAwATQBhAGMAaQBuAHQAbwBzAGgAIABIAEQAEgC6VXNlcnMvc2NobWl0dGEvRG9jdW1lbnRzL0Ryb3Bib3gvQmliRGVza0RvY3MvMjAwOC4wNi4wMS1FYXJ0LU9uIHRoZSBFeHByZXNzaXZlbmVzcyBhbmQgRGVjaWRhYmlsaXR5IG9mIEhpZ2hlci1PcmRlciBQcm9jZXNzIENhbGN1bGkgYnkgTGFuZXNlLiBJLCBQZcyBcmV6LiBKLCBTYW5naW9yZ2kuIEQsIFNjaG1pdHQuIEEucGRmABMAAS8AABUAAgAP//8AAIAF0hwdHh9YJGNsYXNzZXNaJGNsYXNzbmFtZaMfICFdTlNNdXRhYmxlRGF0YVZOU0RhdGFYTlNPYmplY3RvELAALgAuAC8ALgAuAC8ARABvAGMAdQBtAGUAbgB0AHMALwBEAHIAbwBwAGIAbwB4AC8AQgBpAGIARABlAHMAawBEAG8AYwBzAC8AMgAwADAAOAAuADAANgAuADAAMQAtAEUAYQByAHQALQBPAG4AIAB0AGgAZQAgAEUAeABwAHIAZQBzAHMAaQB2AGUAbgBlAHMAcwAgAGEAbgBkACAARABlAGMAaQBkAGEAYgBpAGwAaQB0AHkAIABvAGYAIABIAGkAZwBoAGUAcgAtAE8AcgBkAGUAcgAgAFAAcgBvAGMAZQBzAHMAIABDAGEAbABjAHUAbABpACAAYgB5ACAATABhAG4AZQBzAGUALgAgAEkALAAgAFAAZQMBAHIAZQB6AC4AIABKACwAIABTAGEAbgBnAGkAbwByAGcAaQAuACAARAAsACAAUwBjAGgAbQBpAHQAdAAuACAAQQAuAHAAZABm0hwdJCWiJSFcTlNEaWN0aW9uYXJ5EgABhqBfEA9OU0tleWVkQXJjaGl2ZXIACAARABYAHwAoADIANQA6ADwARQBLAFIAXQBlAGwAbwBxAHMAdgB4AHoAfACGAJMAmACgA+ID5APpA/ID/QQBBA8EFgQfBYIFhwWKBZcFnAAAAAAAAAIBAAAAAAAAACgAAAAAAAAAAAAAAAAAAAWu}
}
@inproceedings{Bohannon2008Boomerang:-Resourcef,
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},
date-added = {2007-11-05 15:14:25 +0100},
date-modified = {2010-06-30 15:58:31 +0200},
doi = {10.1145/1328897.1328487},
keywords = {Harmony},
month = jan,
pages = {407--419},
publisher = {ACM},
read = {1},
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},
bdsk-file-1 = {YnBsaXN0MDDUAQIDBAUIJidUJHRvcFgkb2JqZWN0c1gkdmVyc2lvblkkYXJjaGl2ZXLRBgdUcm9vdIABqAkKFRYXGyIjVSRudWxs0wsMDQ4RFFpOUy5vYmplY3RzV05TLmtleXNWJGNsYXNzog8QgASABqISE4ACgAOAB1lhbGlhc0RhdGFccmVsYXRpdmVQYXRo0hgNGRpXTlMuZGF0YU8RAxoAAAAAAxoAAgAADE1hY2ludG9zaCBIRAAAAAAAAAAAAAAAAAAAAMcXXChIKwAAAD+IbB8yMDA4LjAxLjAxLUVhcnQtQm9vbWUjOEI3NTEucGRmAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAACLdRw1T09gAAAAAAAAAAAAIABAAACSAAAAAAAAAAAAAAAAAAAAALQmliRGVza0RvY3MAABAACAAAxxdOGAAAABEACAAAw1Tm5gAAAAEAFAA/iGwACBmbAAgJsQAIBa0AAJGNAAIAWU1hY2ludG9zaCBIRDpVc2VyczpzY2htaXR0YTpEb2N1bWVudHM6RHJvcGJveDpCaWJEZXNrRG9jczoyMDA4LjAxLjAxLUVhcnQtQm9vbWUjOEI3NTEucGRmAAAOAQIAgAAyADAAMAA4AC4AMAAxAC4AMAAxAC0ARQBhAHIAdAAtAEIAbwBvAG0AZQByAGEAbgBnACAAUgBlAHMAbwB1AHIAYwBlAGYAdQBsACAATABlAG4AcwBlAHMAIABmAG8AcgAgAFMAdAByAGkAbgBnACAARABhAHQAYQAgAGIAeQAgAEIAbwBoAGEAbgBuAG8AbgAuACAAQQAsACAARgBvAHMAdABlAHIALgAgAEoALAAgAFAAaQBlAHIAYwBlAC4AIABCACwAIABQAGkAbABrAGkAZQB3AGkAYwB6AC4AIABBACwAIABTAGMAaABtAGkAdAB0AC4AIABBAC4AcABkAGYADwAaAAwATQBhAGMAaQBuAHQAbwBzAGgAIABIAEQAEgCtVXNlcnMvc2NobWl0dGEvRG9jdW1lbnRzL0Ryb3Bib3gvQmliRGVza0RvY3MvMjAwOC4wMS4wMS1FYXJ0LUJvb21lcmFuZyBSZXNvdXJjZWZ1bCBMZW5zZXMgZm9yIFN0cmluZyBEYXRhIGJ5IEJvaGFubm9uLiBBLCBGb3N0ZXIuIEosIFBpZXJjZS4gQiwgUGlsa2lld2ljei4gQSwgU2NobWl0dC4gQS5wZGYAABMAAS8AABUAAgAP//8AAIAF0hwdHh9YJGNsYXNzZXNaJGNsYXNzbmFtZaMfICFdTlNNdXRhYmxlRGF0YVZOU0RhdGFYTlNPYmplY3RfEKQuLi8uLi9Eb2N1bWVudHMvRHJvcGJveC9CaWJEZXNrRG9jcy8yMDA4LjAxLjAxLUVhcnQtQm9vbWVyYW5nIFJlc291cmNlZnVsIExlbnNlcyBmb3IgU3RyaW5nIERhdGEgYnkgQm9oYW5ub24uIEEsIEZvc3Rlci4gSiwgUGllcmNlLiBCLCBQaWxraWV3aWN6LiBBLCBTY2htaXR0LiBBLnBkZtIcHSQloiUhXE5TRGljdGlvbmFyeRIAAYagXxAPTlNLZXllZEFyY2hpdmVyAAgAEQAWAB8AKAAyADUAOgA8AEUASwBSAF0AZQBsAG8AcQBzAHYAeAB6AHwAhgCTAJgAoAO+A8ADxQPOA9kD3QPrA/ID+wSiBKcEqgS3BLwAAAAAAAACAQAAAAAAAAAoAAAAAAAAAAAAAAAAAAAEzg==}
}
@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{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 = {YnBsaXN0MDDUAQIDBAUIJidUJHRvcFgkb2JqZWN0c1gkdmVyc2lvblkkYXJjaGl2ZXLRBgdUcm9vdIABqAkKFRYXGyIjVSRudWxs0wsMDQ4RFFpOUy5vYmplY3RzV05TLmtleXNWJGNsYXNzog8QgASABqISE4ACgAOAB1lhbGlhc0RhdGFccmVsYXRpdmVQYXRo0hgNGRpXTlMuZGF0YU8RAuAAAAAAAuAAAgAADE1hY2ludG9zaCBIRAAAAAAAAAAAAAAAAAAAAMcXXChIKwAAAD+IbB8yMDA3LjA2LjAxLUVhcnQtRWZmaWMjOEI3NTQucGRmAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAACLdUwsqDSQAAAAAAAAAAAAIABAAACSAAAAAAAAAAAAAAAAAAAAALQmliRGVza0RvY3MAABAACAAAxxdOGAAAABEACAAAwspnKQAAAAEAFAA/iGwACBmbAAgJsQAIBa0AAJGNAAIAWU1hY2ludG9zaCBIRDpVc2VyczpzY2htaXR0YTpEb2N1bWVudHM6RHJvcGJveDpCaWJEZXNrRG9jczoyMDA3LjA2LjAxLUVhcnQtRWZmaWMjOEI3NTQucGRmAAAOANoAbAAyADAAMAA3AC4AMAA2AC4AMAAxAC0ARQBhAHIAdAAtAEUAZgBmAGkAYwBpAGUAbgB0ACAAUwB0AGEAdABpAGMAIABBAG4AYQBsAHkAcwBpAHMAIABvAGYAIABYAE0ATAAgAFAAYQB0AGgAcwAgAGEAbgBkACAAVAB5AHAAZQBzACAAYgB5ACAARwBlAG4AZQB2AGUDAABzAC4AIABQACwAIABMAGEAeQBhAGkDCABkAGEALgAgAE4ALAAgAFMAYwBoAG0AaQB0AHQALgAgAEEALgBwAGQAZgAPABoADABNAGEAYwBpAG4AdABvAHMAaAAgAEgARAASAJtVc2Vycy9zY2htaXR0YS9Eb2N1bWVudHMvRHJvcGJveC9CaWJEZXNrRG9jcy8yMDA3LjA2LjAxLUVhcnQtRWZmaWNpZW50IFN0YXRpYyBBbmFseXNpcyBvZiBYTUwgUGF0aHMgYW5kIFR5cGVzIGJ5IEdlbmV2ZcyAcy4gUCwgTGF5YWnMiGRhLiBOLCBTY2htaXR0LiBBLnBkZgAAEwABLwAAFQACAA///wAAgAXSHB0eH1gkY2xhc3Nlc1okY2xhc3NuYW1lox8gIV1OU011dGFibGVEYXRhVk5TRGF0YVhOU09iamVjdG8QkAAuAC4ALwAuAC4ALwBEAG8AYwB1AG0AZQBuAHQAcwAvAEQAcgBvAHAAYgBvAHgALwBCAGkAYgBEAGUAcwBrAEQAbwBjAHMALwAyADAAMAA3AC4AMAA2AC4AMAAxAC0ARQBhAHIAdAAtAEUAZgBmAGkAYwBpAGUAbgB0ACAAUwB0AGEAdABpAGMAIABBAG4AYQBsAHkAcwBpAHMAIABvAGYAIABYAE0ATAAgAFAAYQB0AGgAcwAgAGEAbgBkACAAVAB5AHAAZQBzACAAYgB5ACAARwBlAG4AZQB2AGUDAABzAC4AIABQACwAIABMAGEAeQBhAGkDCABkAGEALgAgAE4ALAAgAFMAYwBoAG0AaQB0AHQALgAgAEEALgBwAGQAZtIcHSQloiUhXE5TRGljdGlvbmFyeRIAAYagXxAPTlNLZXllZEFyY2hpdmVyAAgAEQAWAB8AKAAyADUAOgA8AEUASwBSAF0AZQBsAG8AcQBzAHYAeAB6AHwAhgCTAJgAoAOEA4YDiwOUA58DowOxA7gDwQTkBOkE7AT5BP4AAAAAAAACAQAAAAAAAAAoAAAAAAAAAAAAAAAAAAAFEA==}
}
@inproceedings{Foster2005Combinators-for-Bi-D,
alan = {1},
author = {J. Nathan Foster and Michael B. Greenwald and Jonathan T. Moore and Benjamin C. Pierce and Alan Schmitt},
bcp = yes,
booktitle = {{ACM} {SIGPLAN--SIGACT} {S}ymposium on {P}rinciples of {P}rogramming {L}anguages ({POPL}), Long Beach, California},
conf = {http://www.cis.upenn.edu/~bcpierce/papers/newlenses-popl.pdf},
date-added = {2007-07-23 15:24:42 +0200},
date-modified = {2011-01-06 10:51:10 +0100},
keywords = {Harmony},
note = {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},
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{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},
date-modified = {2010-11-12 11:41:55 +0100},
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 = {YnBsaXN0MDDUAQIDBAUIJidUJHRvcFgkb2JqZWN0c1gkdmVyc2lvblkkYXJjaGl2ZXLRBgdUcm9vdIABqAkKFRYXGyIjVSRudWxs0wsMDQ4RFFpOUy5vYmplY3RzV05TLmtleXNWJGNsYXNzog8QgASABqISE4ACgAOAB1lhbGlhc0RhdGFccmVsYXRpdmVQYXRo0hgNGRpXTlMuZGF0YU8RA2IAAAAAA2IAAgAADE1hY2ludG9zaCBIRAAAAAAAAAAAAAAAAAAAAMcXXChIKwAAAD+IbB8yMDA2LjA5LjAxLUVhcnQtQWdyZWUjOEI3NTUucGRmAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAACLdVwsqDSQAAAAAAAAAAAAIABAAACSAAAAAAAAAAAAAAAAAAAAALQmliRGVza0RvY3MAABAACAAAxxdOGAAAABEACAAAwspnKQAAAAEAFAA/iGwACBmbAAgJsQAIBa0AAJGNAAIAWU1hY2ludG9zaCBIRDpVc2VyczpzY2htaXR0YTpEb2N1bWVudHM6RHJvcGJveDpCaWJEZXNrRG9jczoyMDA2LjA5LjAxLUVhcnQtQWdyZWUjOEI3NTUucGRmAAAOATIAmAAyADAAMAA2AC4AMAA5AC4AMAAxAC0ARQBhAHIAdAAtAEEAZwByAGUAZQBpAG4AZwAgAHQAbwAgAEEAZwByAGUAZQAgAEMAbwBuAGYAbABpAGMAdAAgAFIAZQBzAG8AbAB1AHQAaQBvAG4AIABmAG8AcgAgAE8AcAB0AGkAbQBpAHMAdABpAGMAYQBsAGwAeQAgAFIAZQBwAGwAaQBjAGEAdABlAGQAIABEAGEAdABhACAAYgB5ACAARwByAGUAZQBuAHcAYQBsAGQALgAgAE0ALAAgAEsAaABhAG4AbgBhAC4AIABTACwAIABLAHUAbgBhAGwALgAgAEsALAAgAFAAaQBlAHIAYwBlAC4AIABCACwAIABTAGMAaABtAGkAdAB0AC4AIABBAC4AcABkAGYADwAaAAwATQBhAGMAaQBuAHQAbwBzAGgAIABIAEQAEgDFVXNlcnMvc2NobWl0dGEvRG9jdW1lbnRzL0Ryb3Bib3gvQmliRGVza0RvY3MvMjAwNi4wOS4wMS1FYXJ0LUFncmVlaW5nIHRvIEFncmVlIENvbmZsaWN0IFJlc29sdXRpb24gZm9yIE9wdGltaXN0aWNhbGx5IFJlcGxpY2F0ZWQgRGF0YSBieSBHcmVlbndhbGQuIE0sIEtoYW5uYS4gUywgS3VuYWwuIEssIFBpZXJjZS4gQiwgU2NobWl0dC4gQS5wZGYAABMAAS8AABUAAgAP//8AAIAF0hwdHh9YJGNsYXNzZXNaJGNsYXNzbmFtZaMfICFdTlNNdXRhYmxlRGF0YVZOU0RhdGFYTlNPYmplY3RfELwuLi8uLi9Eb2N1bWVudHMvRHJvcGJveC9CaWJEZXNrRG9jcy8yMDA2LjA5LjAxLUVhcnQtQWdyZWVpbmcgdG8gQWdyZWUgQ29uZmxpY3QgUmVzb2x1dGlvbiBmb3IgT3B0aW1pc3RpY2FsbHkgUmVwbGljYXRlZCBEYXRhIGJ5IEdyZWVud2FsZC4gTSwgS2hhbm5hLiBTLCBLdW5hbC4gSywgUGllcmNlLiBCLCBTY2htaXR0LiBBLnBkZtIcHSQloiUhXE5TRGljdGlvbmFyeRIAAYagXxAPTlNLZXllZEFyY2hpdmVyAAgAEQAWAB8AKAAyADUAOgA8AEUASwBSAF0AZQBsAG8AcQBzAHYAeAB6AHwAhgCTAJgAoAQGBAgEDQQWBCEEJQQzBDoEQwUCBQcFCgUXBRwAAAAAAAACAQAAAAAAAAAoAAAAAAAAAAAAAAAAAAAFLg==}
}
@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{Bidinger2005An-Abstract-Machine-,
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},
date-modified = {2011-01-06 10:44:33 +0100},
keywords = {Kell},
month = jun,
note = {Best Paper Award},
pages = {43--58},
read = {1},
series = {Lecture Notes in Computer Science},
title = {An Abstract Machine for the {K}ell Calculus},
volume = {3535},
year = 2005,
bdsk-url-1 = {http://www.irisa.fr/celtique/aschmitt/papers/kell_abstract_machine.pdf}
}
@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{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{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 = {YnBsaXN0MDDUAQIDBAUIJidUJHRvcFgkb2JqZWN0c1gkdmVyc2lvblkkYXJjaGl2ZXLRBgdUcm9vdIABqAkKFRYXGyIjVSRudWxs0wsMDQ4RFFpOUy5vYmplY3RzV05TLmtleXNWJGNsYXNzog8QgASABqISE4ACgAOAB1lhbGlhc0RhdGFccmVsYXRpdmVQYXRo0hgNGRpXTlMuZGF0YU8RAtIAAAAAAtIAAgAADE1hY2ludG9zaCBIRAAAAAAAAAAAAAAAAAAAAMcXXChIKwAAAD+IbB8yMDAzLjAxLjAxLUVhcnQtVGhlICNBRkM4RkQucGRmAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAr8j9yXccRgAAAAAAAAAAAAIABAAACSAAAAAAAAAAAAAAAAAAAAALQmliRGVza0RvY3MAABAACAAAxxdOGAAAABEACAAAyXcONgAAAAEAFAA/iGwACBmbAAgJsQAIBa0AAJGNAAIAWU1hY2ludG9zaCBIRDpVc2VyczpzY2htaXR0YTpEb2N1bWVudHM6RHJvcGJveDpCaWJEZXNrRG9jczoyMDAzLjAxLjAxLUVhcnQtVGhlICNBRkM4RkQucGRmAAAOANIAaAAyADAAMAAzAC4AMAAxAC4AMAAxAC0ARQBhAHIAdAAtAFQAaABlACAATQAtAEMAYQBsAGMAdQBsAHUAcwAgAEEAIABIAGkAZwBoAGUAcgAgAE8AcgBkAGUAcgAgAEQAaQBzAHQAcgBpAGIAdQB0AGUAZAAgAFAAcgBvAGMAZQBzAHMAIABDAGEAbABjAHUAbAB1AHMAIABiAHkAIABTAGMAaABtAGkAdAB0AC4AIABBACwAIABTAHQAZQBmAGEAbgBpAC4AIABKAC4AcABkAGYADwAaAAwATQBhAGMAaQBuAHQAbwBzAGgAIABIAEQAEgCVVXNlcnMvc2NobWl0dGEvRG9jdW1lbnRzL0Ryb3Bib3gvQmliRGVza0RvY3MvMjAwMy4wMS4wMS1FYXJ0LVRoZSBNLUNhbGN1bHVzIEEgSGlnaGVyIE9yZGVyIERpc3RyaWJ1dGVkIFByb2Nlc3MgQ2FsY3VsdXMgYnkgU2NobWl0dC4gQSwgU3RlZmFuaS4gSi5wZGYAABMAAS8AABUAAgAP//8AAIAF0hwdHh9YJGNsYXNzZXNaJGNsYXNzbmFtZaMfICFdTlNNdXRhYmxlRGF0YVZOU0RhdGFYTlNPYmplY3RfEIwuLi8uLi9Eb2N1bWVudHMvRHJvcGJveC9CaWJEZXNrRG9jcy8yMDAzLjAxLjAxLUVhcnQtVGhlIE0tQ2FsY3VsdXMgQSBIaWdoZXIgT3JkZXIgRGlzdHJpYnV0ZWQgUHJvY2VzcyBDYWxjdWx1cyBieSBTY2htaXR0LiBBLCBTdGVmYW5pLiBKLnBkZtIcHSQloiUhXE5TRGljdGlvbmFyeRIAAYagXxAPTlNLZXllZEFyY2hpdmVyAAgAEQAWAB8AKAAyADUAOgA8AEUASwBSAF0AZQBsAG8AcQBzAHYAeAB6AHwAhgCTAJgAoAN2A3gDfQOGA5EDlQOjA6oDswRCBEcESgRXBFwAAAAAAAACAQAAAAAAAAAoAAAAAAAAAAAAAAAAAAAEbg==}
}
@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{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}
}
@comment{{BibDesk Smart Groups
conditions
comparison
4
key
Alan
value
1
version
1
conjunction
0
group name
My papers
conditions
comparison
4
key
Read
value
0
version
1
conjunction
0
group name
unread
}}