default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Gérard Boudol
@inproceedings{DBLP:conf/ppdp/GrandeBS15,
author = {Johan Grande and
G{\'{e}}rard Boudol and
Manuel Serrano},
editor = {Moreno Falaschi and
Elvira Albert},
title = {Jthread, a deadlock-free mutex library},
booktitle = {Proceedings of the 17th International Symposium on Principles and
Practice of Declarative Programming, Siena, Italy, July 14-16, 2015},
pages = {149--160},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2790449.2790523},
doi = {10.1145/2790449.2790523},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ppdp/GrandeBS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/BoudolLRS12,
author = {G{\'{e}}rard Boudol and
Zhengqin Luo and
Tamara Rezk and
Manuel Serrano},
title = {Reasoning about Web Applications: An Operational Semantics for {HOP}},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {34},
number = {2},
pages = {10:1--10:40},
year = {2012},
url = {https://doi.org/10.1145/2220365.2220369},
doi = {10.1145/2220365.2220369},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/BoudolLRS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1208-5915,
author = {G{\'{e}}rard Boudol and
Gustavo Petri and
Bernard P. Serpette},
editor = {Bas Luttik and
Michel A. Reniers},
title = {Relaxed Operational Semantics of Concurrent Programming Languages},
booktitle = {Proceedings Combined 19th International Workshop on Expressiveness
in Concurrency and 9th Workshop on Structured Operational Semantics,
{EXPRESS/SOS} 2012, Newcastle upon Tyne, UK, September 3, 2012},
series = {{EPTCS}},
volume = {89},
pages = {19--33},
year = {2012},
url = {https://doi.org/10.4204/EPTCS.89.3},
doi = {10.4204/EPTCS.89.3},
timestamp = {Wed, 12 Sep 2018 01:05:14 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1208-5915.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/Boudol10,
author = {G{\'{e}}rard Boudol},
title = {Typing termination in a higher-order concurrent imperative language},
journal = {Inf. Comput.},
volume = {208},
number = {6},
pages = {716--736},
year = {2010},
url = {https://doi.org/10.1016/j.ic.2009.06.007},
doi = {10.1016/J.IC.2009.06.007},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/Boudol10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/BoudolP10,
author = {G{\'{e}}rard Boudol and
Gustavo Petri},
editor = {Andrew D. Gordon},
title = {A Theory of Speculative Computation},
booktitle = {Programming Languages and Systems, 19th European Symposium on Programming,
{ESOP} 2010, Held as Part of the Joint European Conferences on Theory
and Practice of Software, {ETAPS} 2010, Paphos, Cyprus, March 20-28,
2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6012},
pages = {165--184},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-11957-6\_10},
doi = {10.1007/978-3-642-11957-6\_10},
timestamp = {Mon, 14 Feb 2022 09:20:30 +0100},
biburl = {https://dblp.org/rec/conf/esop/BoudolP10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcs/MatosB09,
author = {Ana Almeida Matos and
G{\'{e}}rard Boudol},
title = {On declassification and the non-disclosure policy},
journal = {J. Comput. Secur.},
volume = {17},
number = {5},
pages = {549--597},
year = {2009},
url = {https://doi.org/10.3233/JCS-2009-0355},
doi = {10.3233/JCS-2009-0355},
timestamp = {Mon, 11 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jcs/MatosB09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictac/Boudol09,
author = {G{\'{e}}rard Boudol},
editor = {Martin Leucker and
Carroll Morgan},
title = {A Deadlock-Free Semantics for Shared Memory Concurrency},
booktitle = {Theoretical Aspects of Computing - {ICTAC} 2009, 6th International
Colloquium, Kuala Lumpur, Malaysia, August 16-20, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5684},
pages = {140--154},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-03466-4\_9},
doi = {10.1007/978-3-642-03466-4\_9},
timestamp = {Tue, 14 May 2019 10:00:38 +0200},
biburl = {https://dblp.org/rec/conf/ictac/Boudol09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/BoudolP09,
author = {G{\'{e}}rard Boudol and
Gustavo Petri},
editor = {Zhong Shao and
Benjamin C. Pierce},
title = {Relaxed memory models: an operational approach},
booktitle = {Proceedings of the 36th {ACM} {SIGPLAN-SIGACT} Symposium on Principles
of Programming Languages, {POPL} 2009, Savannah, GA, USA, January
21-23, 2009},
pages = {392--403},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1480881.1480930},
doi = {10.1145/1480881.1480930},
timestamp = {Fri, 25 Jun 2021 14:48:54 +0200},
biburl = {https://dblp.org/rec/conf/popl/BoudolP09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Boudol08,
author = {G{\'{e}}rard Boudol},
title = {On strong normalization and type inference in the intersection type
discipline},
journal = {Theor. Comput. Sci.},
volume = {398},
number = {1-3},
pages = {63--81},
year = {2008},
url = {https://doi.org/10.1016/j.tcs.2008.01.045},
doi = {10.1016/J.TCS.2008.01.045},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Boudol08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/BoudolCHNW08,
author = {G{\'{e}}rard Boudol and
Ilaria Castellani and
Matthew Hennessy and
Mogens Nielsen and
Glynn Winskel},
editor = {Pierpaolo Degano and
Rocco De Nicola and
Jos{\'{e}} Meseguer},
title = {Twenty Years on: Reflections on the {CEDISYS} Project. Combining True
Concurrency with Process Algebra},
booktitle = {Concurrency, Graphs and Models, Essays Dedicated to Ugo Montanari
on the Occasion of His 65th Birthday},
series = {Lecture Notes in Computer Science},
volume = {5065},
pages = {757--777},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-68679-8\_47},
doi = {10.1007/978-3-540-68679-8\_47},
timestamp = {Thu, 21 Sep 2023 09:08:34 +0200},
biburl = {https://dblp.org/rec/conf/birthday/BoudolCHNW08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/Boudol08,
author = {G{\'{e}}rard Boudol},
editor = {Sophia Drossopoulou},
title = {Typing Safe Deallocation},
booktitle = {Programming Languages and Systems, 17th European Symposium on Programming,
{ESOP} 2008, Held as Part of the Joint European Conferences on Theory
and Practice of Software, {ETAPS} 2008, Budapest, Hungary, March 29-April
6, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4960},
pages = {116--130},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-78739-6\_10},
doi = {10.1007/978-3-540-78739-6\_10},
timestamp = {Sun, 02 Jun 2019 21:23:56 +0200},
biburl = {https://dblp.org/rec/conf/esop/Boudol08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip1-7/Boudol08,
author = {G{\'{e}}rard Boudol},
editor = {Pierpaolo Degano and
Joshua D. Guttman and
Fabio Martinelli},
title = {Secure Information Flow as a Safety Property},
booktitle = {Formal Aspects in Security and Trust, 5th International Workshop,
{FAST} 2008, Malaga, Spain, October 9-10, 2008, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {5491},
pages = {20--34},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-642-01465-9\_2},
doi = {10.1007/978-3-642-01465-9\_2},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/ifip1-7/Boudol08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/MatosBC07,
author = {Ana Almeida Matos and
G{\'{e}}rard Boudol and
Ilaria Castellani},
title = {Typing noninterference for reactive programs},
journal = {J. Log. Algebraic Methods Program.},
volume = {72},
number = {2},
pages = {124--156},
year = {2007},
url = {https://doi.org/10.1016/j.jlap.2007.02.009},
doi = {10.1016/J.JLAP.2007.02.009},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jlp/MatosBC07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/Boudol07,
author = {G{\'{e}}rard Boudol},
editor = {Lu{\'{\i}}s Caires and
Vasco Thudichum Vasconcelos},
title = {Fair Cooperative Multithreading},
booktitle = {{CONCUR} 2007 - Concurrency Theory, 18th International Conference,
{CONCUR} 2007, Lisbon, Portugal, September 3-8, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4703},
pages = {272--286},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-74407-8\_19},
doi = {10.1007/978-3-540-74407-8\_19},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/concur/Boudol07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/Boudol06,
author = {G{\'{e}}rard Boudol},
editor = {S. Arun{-}Kumar and
Naveen Garg},
title = {Shared-Variable Concurrency: {A} Proposal},
booktitle = {{FSTTCS} 2006: Foundations of Software Technology and Theoretical
Computer Science, 26th International Conference, Kolkata, India, December
13-15, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4337},
pages = {1--3},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11944836\_1},
doi = {10.1007/11944836\_1},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/Boudol06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csfw/MatosB05,
author = {Ana Almeida Matos and
G{\'{e}}rard Boudol},
title = {On Declassification and the Non-Disclosure Policy},
booktitle = {18th {IEEE} Computer Security Foundations Workshop, {(CSFW-18} 2005),
20-22 June 2005, Aix-en-Provence, France},
pages = {226--240},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/CSFW.2005.21},
doi = {10.1109/CSFW.2005.21},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csfw/MatosB05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictac/Boudol05,
author = {G{\'{e}}rard Boudol},
editor = {Dang Van Hung and
Martin Wirsing},
title = {On Typing Information Flow},
booktitle = {Theoretical Aspects of Computing - {ICTAC} 2005, Second International
Colloquium, Hanoi, Vietnam, October 17-21, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3722},
pages = {366--380},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11560647\_24},
doi = {10.1007/11560647\_24},
timestamp = {Tue, 14 May 2019 10:00:38 +0200},
biburl = {https://dblp.org/rec/conf/ictac/Boudol05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/AmadioBBC06,
author = {Roberto M. Amadio and
G{\'{e}}rard Boudol and
Fr{\'{e}}d{\'{e}}ric Boussinot and
Ilaria Castellani},
editor = {Luca Aceto and
Andrew D. Gordon},
title = {Reactive Concurrent Programming Revisited},
booktitle = {Proceedings of the Workshop "Essays on Algebraic Process Calculi",
{APC} 25, Bertinoro, Italy, August 1-5, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {162},
pages = {49--60},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2005.12.104},
doi = {10.1016/J.ENTCS.2005.12.104},
timestamp = {Fri, 20 Jan 2023 12:38:53 +0100},
biburl = {https://dblp.org/rec/journals/entcs/AmadioBBC06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0512058,
author = {Roberto M. Amadio and
G{\'{e}}rard Boudol and
Ilaria Castellani and
Fr{\'{e}}d{\'{e}}ric Boussinot},
title = {Reactive concurrent programming revisited},
journal = {CoRR},
volume = {abs/cs/0512058},
year = {2005},
url = {http://arxiv.org/abs/cs/0512058},
eprinttype = {arXiv},
eprint = {cs/0512058},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-cs-0512058.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/Boudol04,
author = {G{\'{e}}rard Boudol},
title = {The recursive record semantics of objects revisited},
journal = {J. Funct. Program.},
volume = {14},
number = {3},
pages = {263--315},
year = {2004},
url = {https://doi.org/10.1017/S0956796803004775},
doi = {10.1017/S0956796803004775},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jfp/Boudol04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coordination/Boudol04,
author = {G{\'{e}}rard Boudol},
editor = {Rocco De Nicola and
Gian{-}Luigi Ferrari and
Greg Meredith},
title = {A Reactive Programming Model for Global Computing},
booktitle = {Coordination Models and Languages, 6th International Conference, {COORDINATION}
2004, Pisa, Italy, February 24-27, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2949},
pages = {1},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-24634-3\_1},
doi = {10.1007/978-3-540-24634-3\_1},
timestamp = {Fri, 23 Jun 2023 22:30:54 +0200},
biburl = {https://dblp.org/rec/conf/coordination/Boudol04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/Boudol04,
author = {G{\'{e}}rard Boudol},
editor = {David A. Schmidt},
title = {{ULM:} {A} Core Programming Model for Global Computing: (Extended
Abstract)},
booktitle = {Programming Languages and Systems, 13th European Symposium on Programming,
{ESOP} 2004, Held as Part of the Joint European Conferences on Theory
and Practice of Software, {ETAPS} 2004, Barcelona, Spain, March 29
- April 2, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2986},
pages = {234--248},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-24725-8\_17},
doi = {10.1007/978-3-540-24725-8\_17},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/esop/Boudol04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gc/Boudol04,
author = {G{\'{e}}rard Boudol},
editor = {Corrado Priami and
Paola Quaglia},
title = {A Generic Membrane Model (Note)},
booktitle = {Global Computing, {IST/FET} International Workshop, {GC} 2004, Rovereto,
Italy, March 9-12, 2004, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {3267},
pages = {208--222},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-31794-4\_11},
doi = {10.1007/978-3-540-31794-4\_11},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/gc/Boudol04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BoudolZ05,
author = {G{\'{e}}rard Boudol and
Pascal Zimmer},
editor = {Mario Coppo and
Ferruccio Damiani},
title = {On Type Inference in the Intersection Type Discipline},
booktitle = {Proceedings of the Third International Workshop on Intersection Types
and Related Systems, {ITRS} 2004, Turku, Finland, July 13, 2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {136},
pages = {23--42},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2005.06.016},
doi = {10.1016/J.ENTCS.2005.06.016},
timestamp = {Mon, 12 Dec 2022 16:15:37 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BoudolZ05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/AmadioBL03,
author = {Roberto M. Amadio and
G{\'{e}}rard Boudol and
C{\'{e}}dric Lhoussaine},
title = {The receptive distributed pi-calculus},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {25},
number = {5},
pages = {549--577},
year = {2003},
url = {https://doi.org/10.1145/937563.937564},
doi = {10.1145/937563.937564},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/AmadioBL03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictcs/Boudol03,
author = {G{\'{e}}rard Boudol},
editor = {Carlo Blundo and
Cosimo Laneve},
title = {On Programming Models for Mobility},
booktitle = {Theoretical Computer Science, 8th Italian Conference, {ICTCS} 2003,
Bertinoro, Italy, October 13-15, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2841},
pages = {22},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-45208-9\_3},
doi = {10.1007/978-3-540-45208-9\_3},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/ictcs/Boudol03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tlca/Boudol03,
author = {G{\'{e}}rard Boudol},
editor = {Martin Hofmann},
title = {On Strong Normalization in the Intersection Type Discipline},
booktitle = {Typed Lambda Calculi and Applications, 6th International Conference,
{TLCA} 2003, Valencia, Spain, June 10-12, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2701},
pages = {60--74},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-44904-3\_5},
doi = {10.1007/3-540-44904-3\_5},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/tlca/Boudol03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/AmadioBL02,
author = {Roberto M. Amadio and
G{\'{e}}rard Boudol and
C{\'{e}}dric Lhoussaine},
title = {On message deliverability and non-uniform receptivity},
journal = {Fundam. Informaticae},
volume = {53},
number = {2},
pages = {105--129},
year = {2002},
url = {http://content.iospress.com/articles/fundamenta-informaticae/fi53-2-01},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/AmadioBL02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BoudolC02,
author = {G{\'{e}}rard Boudol and
Ilaria Castellani},
title = {Noninterference for concurrent programs and thread systems},
journal = {Theor. Comput. Sci.},
volume = {281},
number = {1-2},
pages = {109--130},
year = {2002},
url = {https://doi.org/10.1016/S0304-3975(02)00010-5},
doi = {10.1016/S0304-3975(02)00010-5},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/BoudolC02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fics/BoudolZ02,
author = {G{\'{e}}rard Boudol and
Pascal Zimmer},
editor = {Zolt{\'{a}}n {\'{E}}sik and
Anna Ing{\'{o}}lfsd{\'{o}}ttir},
title = {Recursion in the call-by-value lambda-calculus},
booktitle = {Fixed Points in Computer Science, {FICS} 2002, Copenhagen, Denmark,
20-21 July 2002, Preliminary Proceedings},
series = {{BRICS} Notes Series},
volume = {{NS-02-2}},
pages = {61--66},
publisher = {University of Aarhus},
year = {2002},
timestamp = {Tue, 11 Jan 2005 11:03:16 +0100},
biburl = {https://dblp.org/rec/conf/fics/BoudolZ02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/Boudol01,
author = {G{\'{e}}rard Boudol},
editor = {David Sands},
title = {The Recursive Record Semantics of Objects Revisited},
booktitle = {Programming Languages and Systems, 10th European Symposium on Programming,
{ESOP} 2001 Held as Part of the Joint European Conferences on Theory
and Practice of Software, {ETAPS} 2001 Genova, Italy, April 2-6, 2001,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2028},
pages = {269--283},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45309-1\_18},
doi = {10.1007/3-540-45309-1\_18},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/esop/Boudol01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/BoudolC01,
author = {G{\'{e}}rard Boudol and
Ilaria Castellani},
editor = {Fernando Orejas and
Paul G. Spirakis and
Jan van Leeuwen},
title = {Noninterference for Concurrent Programs},
booktitle = {Automata, Languages and Programming, 28th International Colloquium,
{ICALP} 2001, Crete, Greece, July 8-12, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2076},
pages = {382--395},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-48224-5\_32},
doi = {10.1007/3-540-48224-5\_32},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/icalp/BoudolC01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Boudol00,
author = {G{\'{e}}rard Boudol},
title = {On the semantics of the call-by-name {CPS} transform},
journal = {Theor. Comput. Sci.},
volume = {234},
number = {1-2},
pages = {309--321},
year = {2000},
url = {https://doi.org/10.1016/S0304-3975(99)00302-3},
doi = {10.1016/S0304-3975(99)00302-3},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Boudol00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/BoudolL00,
author = {G{\'{e}}rard Boudol and
Cosimo Laneve},
editor = {Gordon D. Plotkin and
Colin Stirling and
Mads Tofte},
title = {lambda-calculus, multiplicities, and the pi-calculus},
booktitle = {Proof, Language, and Interaction, Essays in Honour of Robin Milner},
pages = {659--690},
publisher = {The {MIT} Press},
year = {2000},
timestamp = {Mon, 23 Jun 2008 08:50:50 +0200},
biburl = {https://dblp.org/rec/conf/birthday/BoudolL00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/BoudolCL99,
author = {G{\'{e}}rard Boudol and
Pierre{-}Louis Curien and
Carolina Lavatelli},
title = {A semantics for lambda calculi with resources},
journal = {Math. Struct. Comput. Sci.},
volume = {9},
number = {4},
pages = {437--482},
year = {1999},
url = {http://journals.cambridge.org/action/displayAbstract?aid=44845},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/BoudolCL99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fct/BoudolD99,
author = {G{\'{e}}rard Boudol and
Silvano Dal{-}Zilio},
editor = {Gabriel Ciobanu and
Gheorghe Paun},
title = {An Interpretation of Extensible Objects},
booktitle = {Fundamentals of Computation Theory, 12th International Symposium,
{FCT} '99, Iasi, Romania, August 30 - September 3, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1684},
pages = {148--160},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48321-7\_11},
doi = {10.1007/3-540-48321-7\_11},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/fct/BoudolD99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/AmadioBL99,
author = {Roberto M. Amadio and
G{\'{e}}rard Boudol and
C{\'{e}}dric Lhoussaine},
editor = {C. Pandu Rangan and
Venkatesh Raman and
Ramaswamy Ramanujam},
title = {The Receptive Distributed pi-Calculus (Extended Abstract)},
booktitle = {Foundations of Software Technology and Theoretical Computer Science,
19th Conference, Chennai, India, December 13-15, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1738},
pages = {304--315},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-46691-6\_24},
doi = {10.1007/3-540-46691-6\_24},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/AmadioBL99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcst/Boudol98,
author = {G{\'{e}}rard Boudol},
title = {Calculi for concurrent processes},
journal = {J. Comput. Sci. Technol.},
volume = {13},
number = {6},
pages = {509},
year = {1998},
url = {https://doi.org/10.1007/BF02946492},
doi = {10.1007/BF02946492},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jcst/Boudol98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lisp/Boudol98,
author = {G{\'{e}}rard Boudol},
title = {The p-Calculus in Direct Style},
journal = {High. Order Symb. Comput.},
volume = {11},
number = {2},
pages = {177--208},
year = {1998},
url = {https://doi.org/10.1023/A:1010064516533},
doi = {10.1023/A:1010064516533},
timestamp = {Thu, 05 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/lisp/Boudol98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asian/Boudol97,
author = {G{\'{e}}rard Boudol},
editor = {R. K. Shyamasundar and
Kazunori Ueda},
title = {Typing the Use of Resources in a Concurrent Calculus (Extended Abstract)},
booktitle = {Advances in Computing Science - {ASIAN} '97, Third Asian Computing
Science Conference, Kathmandu, Nepal, December 9-11, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1345},
pages = {239--253},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63875-X\_56},
doi = {10.1007/3-540-63875-X\_56},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/asian/Boudol97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/Boudol97,
author = {G{\'{e}}rard Boudol},
editor = {Peter Lee and
Fritz Henglein and
Neil D. Jones},
title = {The Pi-calculus in Direct Style},
booktitle = {Conference Record of POPL'97: The 24th {ACM} {SIGPLAN-SIGACT} Symposium
on Principles of Programming Languages, Papers Presented at the Symposium,
Paris, France, 15-17 January 1997},
pages = {228--241},
publisher = {{ACM} Press},
year = {1997},
url = {https://doi.org/10.1145/263699.263726},
doi = {10.1145/263699.263726},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/Boudol97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/BoudolL96,
author = {G{\'{e}}rard Boudol and
Cosimo Laneve},
title = {The Discriminating Power of Multiplicities in the Lambda-Calculus},
journal = {Inf. Comput.},
volume = {126},
number = {1},
pages = {83--102},
year = {1996},
url = {https://doi.org/10.1006/inco.1996.0037},
doi = {10.1006/INCO.1996.0037},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iandc/BoudolL96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/caap/BoudolL96,
author = {G{\'{e}}rard Boudol and
Carolina Lavatelli},
editor = {H{\'{e}}l{\`{e}}ne Kirchner},
title = {Full Abstraction for Lambda Calculus with Resources and Convergence
Testing},
booktitle = {Trees in Algebra and Programming - CAAP'96, 21st International Colloquium,
Link{\"{o}}ping, Sweden, April, 22-24, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1059},
pages = {302--316},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61064-2\_45},
doi = {10.1007/3-540-61064-2\_45},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/caap/BoudolL96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BoudolL95,
author = {G{\'{e}}rard Boudol and
Cosimo Laneve},
editor = {Stephen D. Brookes and
Michael G. Main and
Austin Melton and
Michael W. Mislove},
title = {Termination, deadlock and divergence in the lambda-calculus with multiplicities},
booktitle = {Eleventh Annual Conference on Mathematical Foundations of Programming
Semantics, {MFPS} 1995, Tulane University, New Orleans, LA, USA, March
29 - April 1, 1995},
series = {Electronic Notes in Theoretical Computer Science},
volume = {1},
pages = {32--45},
publisher = {Elsevier},
year = {1995},
url = {https://doi.org/10.1016/S1571-0661(04)00003-9},
doi = {10.1016/S1571-0661(04)00003-9},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/BoudolL95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/BoudolCHK94,
author = {G{\'{e}}rard Boudol and
Ilaria Castellani and
Matthew Hennessy and
Astrid Kiehn},
title = {A Theory of Processes with Localities},
journal = {Formal Aspects Comput.},
volume = {6},
number = {2},
pages = {165--200},
year = {1994},
url = {https://doi.org/10.1007/BF01221098},
doi = {10.1007/BF01221098},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/BoudolCHK94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/Boudol94,
author = {G{\'{e}}rard Boudol},
title = {Lambda-Calculi for (Strict) Parallel Functions},
journal = {Inf. Comput.},
volume = {108},
number = {1},
pages = {51--127},
year = {1994},
url = {https://doi.org/10.1006/inco.1994.1003},
doi = {10.1006/INCO.1994.1003},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/Boudol94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/BoudolC94,
author = {G{\'{e}}rard Boudol and
Ilaria Castellani},
title = {Flow Models of Distributed Computations: Three Equivalent Semantics
for {CCS}},
journal = {Inf. Comput.},
volume = {114},
number = {2},
pages = {247--314},
year = {1994},
url = {https://doi.org/10.1006/inco.1994.1088},
doi = {10.1006/INCO.1994.1088},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iandc/BoudolC94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BoudolCHK93,
author = {G{\'{e}}rard Boudol and
Ilaria Castellani and
Matthew Hennessy and
Astrid Kiehn},
title = {Observing Localities},
journal = {Theor. Comput. Sci.},
volume = {114},
number = {1},
pages = {31--61},
year = {1993},
url = {https://doi.org/10.1016/0304-3975(93)90152-J},
doi = {10.1016/0304-3975(93)90152-J},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/BoudolCHK93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/Boudol93,
author = {G{\'{e}}rard Boudol},
editor = {Eike Best},
title = {The Lambda-Calculus with Multiplicities (Abstract)},
booktitle = {{CONCUR} '93, 4th International Conference on Concurrency Theory,
Hildesheim, Germany, August 23-26, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {715},
pages = {1--6},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-57208-2\_1},
doi = {10.1007/3-540-57208-2\_1},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/concur/Boudol93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rex/Boudol93,
author = {G{\'{e}}rard Boudol},
editor = {J. W. de Bakker and
Willem P. de Roever and
Grzegorz Rozenberg},
title = {Some Chemical Abstract Machines},
booktitle = {A Decade of Concurrency, Reflections and Perspectives, {REX} School/Symposium,
Noordwijkerhout, The Netherlands, June 1-4, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {803},
pages = {92--123},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-58043-3\_18},
doi = {10.1007/3-540-58043-3\_18},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/rex/Boudol93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BerryB92,
author = {G{\'{e}}rard Berry and
G{\'{e}}rard Boudol},
title = {The Chemical Abstract Machine},
journal = {Theor. Comput. Sci.},
volume = {96},
number = {1},
pages = {217--248},
year = {1992},
url = {https://doi.org/10.1016/0304-3975(92)90185-I},
doi = {10.1016/0304-3975(92)90185-I},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/BerryB92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BoudolL92,
author = {G{\'{e}}rard Boudol and
Kim Guldstrand Larsen},
title = {Graphical Versus Logical Specifications},
journal = {Theor. Comput. Sci.},
volume = {106},
number = {1},
pages = {3--20},
year = {1992},
url = {https://doi.org/10.1016/0304-3975(92)90276-L},
doi = {10.1016/0304-3975(92)90276-L},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/BoudolL92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/BoudolCHK92,
author = {G{\'{e}}rard Boudol and
Ilaria Castellani and
Matthew Hennessy and
Astrid Kiehn},
editor = {Rance Cleaveland},
title = {A Theory of Process with Localities (Extended Abstract)},
booktitle = {{CONCUR} '92, Third International Conference on Concurrency Theory,
Stony Brook, NY, USA, August 24-27, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {630},
pages = {108--122},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/BFb0084786},
doi = {10.1007/BFB0084786},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/concur/BoudolCHK92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/BoudolCHK91,
author = {G{\'{e}}rard Boudol and
Ilaria Castellani and
Matthew Hennessy and
Astrid Kiehn},
editor = {Andrzej Tarlecki},
title = {Observing Localities (Extended Abstract)},
booktitle = {Mathematical Foundations of Computer Science 1991, 16th International
Symposium, MFCS'91, Kazimierz Dolny, Poland, September 9-13, 1991,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {520},
pages = {93--102},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-54345-7\_52},
doi = {10.1007/3-540-54345-7\_52},
timestamp = {Tue, 14 May 2019 10:00:37 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/BoudolCHK91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/caap/BoudolL90,
author = {G{\'{e}}rard Boudol and
Kim Guldstrand Larsen},
editor = {Andr{\'{e}} Arnold},
title = {Graphical versus Logical Specifications},
booktitle = {{CAAP} '90, 15th Colloquium on Trees in Algebra and Programming, Copenhagen,
Denmark, May 15-18, 1990, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {431},
pages = {57--71},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/3-540-52590-4\_40},
doi = {10.1007/3-540-52590-4\_40},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/caap/BoudolL90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/litp/Boudol90,
author = {G{\'{e}}rard Boudol},
editor = {Ir{\`{e}}ne Guessarian},
title = {Flow Event Structures and Flow Nets},
booktitle = {Semantics of Systems of Concurrent Processes, {LITP} Spring School
on Theoretical Computer Science, La Roche Posay, France, April 23-27,
1990, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {469},
pages = {62--95},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/3-540-53479-2\_4},
doi = {10.1007/3-540-53479-2\_4},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/litp/Boudol90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/litp/BoudolC90,
author = {G{\'{e}}rard Boudol and
Ilaria Castellani},
editor = {Ir{\`{e}}ne Guessarian},
title = {Three Equivalent Semantics for {CCS}},
booktitle = {Semantics of Systems of Concurrent Processes, {LITP} Spring School
on Theoretical Computer Science, La Roche Posay, France, April 23-27,
1990, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {469},
pages = {96--141},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/3-540-53479-2\_5},
doi = {10.1007/3-540-53479-2\_5},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/litp/BoudolC90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/BerryB90,
author = {G{\'{e}}rard Berry and
G{\'{e}}rard Boudol},
editor = {Frances E. Allen},
title = {The Chemical Abstract Machine},
booktitle = {Conference Record of the Seventeenth Annual {ACM} Symposium on Principles
of Programming Languages, San Francisco, California, USA, January
1990},
pages = {81--94},
publisher = {{ACM} Press},
year = {1990},
url = {https://doi.org/10.1145/96709.96717},
doi = {10.1145/96709.96717},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/BerryB90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eatcs/Boudol89,
author = {G{\'{e}}rard Boudol},
title = {Atomic actions},
journal = {Bull. {EATCS}},
volume = {38},
pages = {136--144},
year = {1989},
timestamp = {Thu, 18 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eatcs/Boudol89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/avmfss/BoudolRSV89,
author = {G{\'{e}}rard Boudol and
Val{\'{e}}rie Roy and
Robert de Simone and
Didier Vergamini},
editor = {Joseph Sifakis},
title = {Process Calculi, from Theory to Practice: Verification Tools},
booktitle = {Automatic Verification Methods for Finite State Systems, International
Workshop, Grenoble, France, June 12-14, 1989, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {407},
pages = {1--10},
publisher = {Springer},
year = {1989},
url = {https://doi.org/10.1007/3-540-52148-8\_1},
doi = {10.1007/3-540-52148-8\_1},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/avmfss/BoudolRSV89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tapsoft/Boudol89,
author = {G{\'{e}}rard Boudol},
editor = {Josep D{\'{\i}}az and
Fernando Orejas},
title = {Towards a Lambda-Calculus for Concurrent and Communicating Systems},
booktitle = {TAPSOFT'89: Proceedings of the International Joint Conference on Theory
and Practice of Software Development, Barcelona, Spain, March 13-17,
1989, Volume 1: Advanced Seminar on Foundations of Innovative Software
Development {I} and Colloquium on Trees in Algebra and Programming
(CAAP'89)},
series = {Lecture Notes in Computer Science},
volume = {351},
pages = {149--161},
publisher = {Springer},
year = {1989},
url = {https://doi.org/10.1007/3-540-50939-9\_130},
doi = {10.1007/3-540-50939-9\_130},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/tapsoft/Boudol89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BoudolC88,
author = {G{\'{e}}rard Boudol and
Ilaria Castellani},
title = {Concurrency and Atomicity},
journal = {Theor. Comput. Sci.},
volume = {59},
pages = {25--84},
year = {1988},
url = {https://doi.org/10.1016/0304-3975(88)90096-5},
doi = {10.1016/0304-3975(88)90096-5},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/BoudolC88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rex/BoudolC88,
author = {G{\'{e}}rard Boudol and
Ilaria Castellani},
editor = {J. W. de Bakker and
Willem P. de Roever and
Grzegorz Rozenberg},
title = {Permutation of transitions: An event structure semantics for {CCS}
and {SCCS}},
booktitle = {Linear Time, Branching Time and Partial Order in Logics and Models
for Concurrency, School/Workshop, Noordwijkerhout, The Netherlands,
May 30 - June 3, 1988, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {354},
pages = {411--427},
publisher = {Springer},
year = {1988},
url = {https://doi.org/10.1007/BFb0013028},
doi = {10.1007/BFB0013028},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rex/BoudolC88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tapsoft/BoudolC87,
author = {G{\'{e}}rard Boudol and
Ilaria Castellani},
editor = {Hartmut Ehrig and
Robert A. Kowalski and
Giorgio Levi and
Ugo Montanari},
title = {On the Semantics of Concurrency: Partial Orders and Transition Systems},
booktitle = {TAPSOFT'87: Proceedings of the International Joint Conference on Theory
and Practice of Software Development, Pisa, Italy, March 23-27, 1987,
Volume 1: Advanced Seminar on Foundations of Innovative Software Development
{I} and Colloquium on Trees in Algebra and Programming (CAAP'87)},
series = {Lecture Notes in Computer Science},
volume = {249},
pages = {123--137},
publisher = {Springer},
year = {1987},
url = {https://doi.org/10.1007/3-540-17660-8\_52},
doi = {10.1007/3-540-17660-8\_52},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tapsoft/BoudolC87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/BoudolRS85,
author = {G{\'{e}}rard Boudol and
G{\'{e}}rard Roucairol and
Robert de Simone},
editor = {Grzegorz Rozenberg},
title = {Petri nets and algebraic calculi of processes},
booktitle = {Advances in Petri Nets 1985, covers the 6th European Workshop on Applications
and Theory in Petri Nets, Espoo, Finland in June 1985, selected papers},
series = {Lecture Notes in Computer Science},
volume = {222},
pages = {41--58},
publisher = {Springer},
year = {1985},
url = {https://doi.org/10.1007/BFb0016205},
doi = {10.1007/BFB0016205},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/apn/BoudolRS85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/BoudolRS85,
author = {G{\'{e}}rard Boudol and
G{\'{e}}rard Roucairol and
Robert de Simone},
editor = {Kurt Mehlhorn},
title = {Petri Nets and Algebraic Calculi of Processes},
booktitle = {{STACS} 85, 2nd Symposium of Theoretical Aspects of Computer Science,
Saarbr{\"{u}}cken, Germany, January 3-5, 1985, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {182},
pages = {59--70},
publisher = {Springer},
year = {1985},
url = {https://doi.org/10.1007/BFb0023995},
doi = {10.1007/BFB0023995},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/stacs/BoudolRS85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/AustryB84,
author = {Didier Austry and
G{\'{e}}rard Boudol},
title = {Alg{\`{e}}bre de Processus et Synchronisation},
journal = {Theor. Comput. Sci.},
volume = {30},
pages = {91--131},
year = {1984},
url = {https://doi.org/10.1016/0304-3975(84)90067-7},
doi = {10.1016/0304-3975(84)90067-7},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/AustryB84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nato/Boudol84,
author = {G{\'{e}}rard Boudol},
editor = {Krzysztof R. Apt},
title = {Notes on Algebraic Calculi of Processes},
booktitle = {Logics and Models of Concurrent Systems - Conference proceedings,
Colle-sur-Loup (near Nice), France, 8-19 October 1984},
series = {{NATO} {ASI} Series},
volume = {13},
pages = {261--303},
publisher = {Springer},
year = {1984},
url = {https://doi.org/10.1007/978-3-642-82453-1\_9},
doi = {10.1007/978-3-642-82453-1\_9},
timestamp = {Fri, 17 Apr 2020 17:55:08 +0200},
biburl = {https://dblp.org/rec/conf/nato/Boudol84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BoudolK83,
author = {G{\'{e}}rard Boudol and
Laurent Kott},
title = {Recursion Induction Principle Revisited},
journal = {Theor. Comput. Sci.},
volume = {22},
pages = {135--173},
year = {1983},
url = {https://doi.org/10.1016/0304-3975(83)90142-1},
doi = {10.1016/0304-3975(83)90142-1},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/BoudolK83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/caap/Boudol81,
author = {G{\'{e}}rard Boudol},
editor = {Egidio Astesiano and
Corrado B{\"{o}}hm},
title = {Une Semantique Pour Les Arbres Non Deterministes},
booktitle = {{CAAP} '81, Trees in Algebra and Programming, 6th Colloquium, Genoa,
Italy, March 5-7, 1981, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {112},
pages = {147--161},
publisher = {Springer},
year = {1981},
url = {https://doi.org/10.1007/3-540-10828-9\_60},
doi = {10.1007/3-540-10828-9\_60},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/caap/Boudol81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tcs/Boudol79,
author = {G{\'{e}}rard Boudol},
editor = {Klaus Weihrauch},
title = {A new Recursion Induction Principle},
booktitle = {Theoretical Computer Science, 4th GI-Conference, Aachen, Germany,
March 26-28, 1979, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {67},
pages = {79--90},
publisher = {Springer},
year = {1979},
url = {https://doi.org/10.1007/3-540-09118-1\_10},
doi = {10.1007/3-540-09118-1\_10},
timestamp = {Fri, 17 Jul 2020 16:12:47 +0200},
biburl = {https://dblp.org/rec/conf/tcs/Boudol79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-24 23:11 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
