Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Cosimo Laneve
@article{DBLP:journals/concurrency/BistarelliNGLMV23,
author = {Stefano Bistarelli and
Rocco De Nicola and
Letterio Galletta and
Cosimo Laneve and
Ivan Mercanti and
Adele Veschetti},
title = {Stochastic modeling and analysis of the bitcoin protocol in the presence
of block communication delays},
journal = {Concurr. Comput. Pract. Exp.},
volume = {35},
number = {16},
year = {2023},
url = {https://doi.org/10.1002/cpe.6749},
doi = {10.1002/CPE.6749},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/concurrency/BistarelliNGLMV23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/distribledger/GallettaLMV23,
author = {Letterio Galletta and
Cosimo Laneve and
Ivan Mercanti and
Adele Veschetti},
title = {Resilience of Hybrid Casper Under Varying Values of Parameters},
journal = {Distributed Ledger Technol. Res. Pract.},
volume = {2},
number = {1},
pages = {5:1--5:25},
year = {2023},
url = {https://doi.org/10.1145/3571587},
doi = {10.1145/3571587},
timestamp = {Sat, 29 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/distribledger/GallettaLMV23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlap/Laneve23,
author = {Cosimo Laneve},
title = {Liquidity analysis in resource-aware programming},
journal = {J. Log. Algebraic Methods Program.},
volume = {135},
pages = {100889},
year = {2023},
url = {https://doi.org/10.1016/j.jlamp.2023.100889},
doi = {10.1016/J.JLAMP.2023.100889},
timestamp = {Wed, 01 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlap/Laneve23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/CrafaLSV23,
author = {Silvia Crafa and
Cosimo Laneve and
Giovanni Sartor and
Adele Veschetti},
title = {Pacta sunt servanda: Legal contracts in \emph{Stipula}},
journal = {Sci. Comput. Program.},
volume = {225},
pages = {102911},
year = {2023},
url = {https://doi.org/10.1016/j.scico.2022.102911},
doi = {10.1016/J.SCICO.2022.102911},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/CrafaLSV23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coordination/LanevePS23,
author = {Cosimo Laneve and
Alessandro Parenti and
Giovanni Sartor},
editor = {Sung{-}Shik Jongmans and
Ant{\'{o}}nia Lopes},
title = {Legal Contracts Amending with [inline-graphic not available: see fulltext]},
booktitle = {Coordination Models and Languages - 25th {IFIP} {WG} 6.1 International
Conference, {COORDINATION} 2023, Held as Part of the 18th International
Federated Conference on Distributed Computing Techniques, DisCoTec
2023, Lisbon, Portugal, June 19-23, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13908},
pages = {253--270},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-35361-1\_14},
doi = {10.1007/978-3-031-35361-1\_14},
timestamp = {Fri, 07 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/coordination/LanevePS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2310-20391,
author = {Giuseppe De Palma and
Saverio Giallorenzo and
Cosimo Laneve and
Jacopo Mauro and
Matteo Trentin and
Gianluigi Zavattaro},
editor = {Maurice H. ter Beek and
Clemens Dubslaff},
title = {Serverless Scheduling Policies based on Cost Analysis},
booktitle = {Proceedings of the First Workshop on Trends in Configurable Systems
Analysis, TiCSA@ETAPS 2023, Paris, France, 23rd April 2023},
series = {{EPTCS}},
volume = {392},
pages = {40--52},
year = {2023},
url = {https://doi.org/10.4204/EPTCS.392.3},
doi = {10.4204/EPTCS.392.3},
timestamp = {Mon, 06 Nov 2023 15:17:28 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2310-20391.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/CrafaL20,
author = {Silvia Crafa and
Cosimo Laneve},
editor = {Wolfgang Ahrendt and
Bernhard Beckert and
Richard Bubel and
Einar Broch Johnsen},
title = {Programming Legal Contracts - {A} Beginners Guide to Stipula},
booktitle = {The Logic of Software. {A} Tasting Menu of Formal Methods - Essays
Dedicated to Reiner H{\"{a}}hnle on the Occasion of His 60th
Birthday},
series = {Lecture Notes in Computer Science},
volume = {13360},
pages = {129--146},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-08166-8\_7},
doi = {10.1007/978-3-031-08166-8\_7},
timestamp = {Sun, 25 Sep 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/CrafaL20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/facs2/CrafaL22,
author = {Silvia Crafa and
Cosimo Laneve},
editor = {Silvia Lizeth Tapia Tarifa and
Jos{\'{e}} Proen{\c{c}}a},
title = {Liquidity Analysis in Resource-Aware Programming},
booktitle = {Formal Aspects of Component Software - 18th International Conference,
{FACS} 2022, Virtual Event, November 10-11, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13712},
pages = {205--221},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-20872-0\_12},
doi = {10.1007/978-3-031-20872-0\_12},
timestamp = {Sun, 13 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/facs2/CrafaL22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2110-11069,
author = {Silvia Crafa and
Cosimo Laneve and
Giovanni Sartor},
title = {Pacta sunt servanda: legal contracts in Stipula},
journal = {CoRR},
volume = {abs/2110.11069},
year = {2021},
url = {https://arxiv.org/abs/2110.11069},
eprinttype = {arXiv},
eprint = {2110.11069},
timestamp = {Thu, 28 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2110-11069.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/LaneveV20,
author = {Cosimo Laneve and
Adele Veschetti},
editor = {Frank S. de Boer and
Jacopo Mauro},
title = {A Formal Analysis of the Bitcoin Protocol},
booktitle = {Recent Developments in the Design and Implementation of Programming
Languages, Gabbrielli's Festschrift, November 27, 2020, Bologna, Italy},
series = {OASIcs},
volume = {86},
pages = {2:1--2:17},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2020},
url = {https://doi.org/10.4230/OASIcs.Gabbrielli.2},
doi = {10.4230/OASICS.GABBRIELLI.2},
timestamp = {Sun, 07 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/birthday/LaneveV20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/LaneveLPR19,
author = {Cosimo Laneve and
Michael Lienhardt and
Ka I Pun and
Guillermo Rom{\'{a}}n{-}D{\'{\i}}ez},
title = {Time analysis of actor programs},
journal = {J. Log. Algebraic Methods Program.},
volume = {105},
pages = {1--27},
year = {2019},
url = {https://doi.org/10.1016/j.jlamp.2019.02.007},
doi = {10.1016/J.JLAMP.2019.02.007},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jlp/LaneveLPR19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/Laneve19,
author = {Cosimo Laneve},
title = {A lightweight deadlock analysis for programs with threads and reentrant
locks},
journal = {Sci. Comput. Program.},
volume = {181},
pages = {64--81},
year = {2019},
url = {https://doi.org/10.1016/j.scico.2019.06.002},
doi = {10.1016/J.SCICO.2019.06.002},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/scp/Laneve19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/LaneveP19,
author = {Cosimo Laneve and
Luca Padovani},
editor = {M{\'{a}}rio S. Alvim and
Kostas Chatzikokolakis and
Carlos Olarte and
Frank Valencia},
title = {Deadlock Analysis of Wait-Notify Coordination},
booktitle = {The Art of Modelling Computational Systems: {A} Journey from Logic
and Concurrency to Security and Privacy - Essays Dedicated to Catuscia
Palamidessi on the Occasion of Her 60th Birthday},
series = {Lecture Notes in Computer Science},
volume = {11760},
pages = {50--67},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-31175-9\_4},
doi = {10.1007/978-3-030-31175-9\_4},
timestamp = {Sat, 09 Apr 2022 12:46:09 +0200},
biburl = {https://dblp.org/rec/conf/birthday/LaneveP19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/LaneveCV19,
author = {Cosimo Laneve and
Claudio Sacerdoti Coen and
Adele Veschetti},
editor = {Maurice H. ter Beek and
Alessandro Fantechi and
Laura Semini},
title = {On the Prediction of Smart Contracts' Behaviours},
booktitle = {From Software Engineering to Formal Methods and Tools, and Back -
Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday},
series = {Lecture Notes in Computer Science},
volume = {11865},
pages = {397--415},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-30985-5\_23},
doi = {10.1007/978-3-030-30985-5\_23},
timestamp = {Sat, 12 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/LaneveCV19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/Laneve18,
author = {Cosimo Laneve},
editor = {Klaus Havelund and
Jan Peleska and
Bill Roscoe and
Erik P. de Vink},
title = {A Lightweight Deadlock Analysis for Programs with Threads and Reentrant
Locks},
booktitle = {Formal Methods - 22nd International Symposium, {FM} 2018, Held as
Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July
15-17, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10951},
pages = {608--624},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-95582-7\_36},
doi = {10.1007/978-3-319-95582-7\_36},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fm/Laneve18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1908-10040,
author = {Frank S. de Boer and
Elena Giachino and
Stijn de Gouw and
Reiner H{\"{a}}hnle and
Einar Broch Johnsen and
Cosimo Laneve and
Ka I Pun and
Gianluigi Zavattaro},
editor = {Davide Ancona and
Gordon Pace},
title = {Analysis of {SLA} Compliance in the Cloud - An Automated, Model-based
Approach},
booktitle = {Proceedings of the Second Workshop on Verification of Objects at RunTime
EXecution, VORTEX@ECOOP/ISSTA 2018, Amsterdam, Netherlands, 17th July
2018},
series = {{EPTCS}},
volume = {302},
pages = {1--15},
year = {2018},
url = {https://doi.org/10.4204/EPTCS.302.1},
doi = {10.4204/EPTCS.302.1},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1908-10040.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/0001L17,
author = {Naoki Kobayashi and
Cosimo Laneve},
title = {Deadlock analysis of unbounded process networks},
journal = {Inf. Comput.},
volume = {252},
pages = {48--70},
year = {2017},
url = {https://doi.org/10.1016/j.ic.2016.03.004},
doi = {10.1016/J.IC.2016.03.004},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iandc/0001L17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/GarciaLL17,
author = {Abel Garcia and
Cosimo Laneve and
Michael Lienhardt},
title = {Static analysis of cloud elasticity},
journal = {Sci. Comput. Program.},
volume = {147},
pages = {27--53},
year = {2017},
url = {https://doi.org/10.1016/j.scico.2017.03.008},
doi = {10.1016/J.SCICO.2017.03.008},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/scp/GarciaLL17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/HenrioLM17,
author = {Ludovic Henrio and
Cosimo Laneve and
Vincenzo Mastandrea},
editor = {Nadia Polikarpova and
Steve A. Schneider},
title = {Analysis of Synchronisations in Stateful Active Objects},
booktitle = {Integrated Formal Methods - 13th International Conference, {IFM} 2017,
Turin, Italy, September 20-22, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10510},
pages = {195--210},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-66845-1\_13},
doi = {10.1007/978-3-319-66845-1\_13},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifm/HenrioLM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/LaneveG17,
author = {Cosimo Laneve and
Abel Garcia},
editor = {Fabio Fioravanti and
John P. Gallagher},
title = {Deadlock Detection of Java Bytecode},
booktitle = {Logic-Based Program Synthesis and Transformation - 27th International
Symposium, {LOPSTR} 2017, Namur, Belgium, October 10-12, 2017, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {10855},
pages = {37--53},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-94460-9\_3},
doi = {10.1007/978-3-319-94460-9\_3},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lopstr/LaneveG17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1709-04152,
author = {Abel Garcia and
Cosimo Laneve},
title = {Deadlock detection of Java Bytecode},
journal = {CoRR},
volume = {abs/1709.04152},
year = {2017},
url = {http://arxiv.org/abs/1709.04152},
eprinttype = {arXiv},
eprint = {1709.04152},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1709-04152.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/GiachinoLL16,
author = {Elena Giachino and
Cosimo Laneve and
Michael Lienhardt},
title = {A framework for deadlock detection in core {ABS}},
journal = {Softw. Syst. Model.},
volume = {15},
number = {4},
pages = {1013--1048},
year = {2016},
url = {https://doi.org/10.1007/s10270-014-0444-y},
doi = {10.1007/S10270-014-0444-Y},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sosym/GiachinoLL16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/GiachinoGLN16,
author = {Elena Giachino and
Stijn de Gouw and
Cosimo Laneve and
Behrooz Nobakht},
editor = {Erika {\'{A}}brah{\'{a}}m and
Marcello M. Bonsangue and
Einar Broch Johnsen},
title = {Statically and Dynamically Verifiable {SLA} Metrics},
booktitle = {Theory and Practice of Formal Methods - Essays Dedicated to Frank
de Boer on the Occasion of His 60th Birthday},
series = {Lecture Notes in Computer Science},
volume = {9660},
pages = {211--225},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-30734-3\_15},
doi = {10.1007/978-3-319-30734-3\_15},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/birthday/GiachinoGLN16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/GiachinoHLM16,
author = {Elena Giachino and
Ludovic Henrio and
Cosimo Laneve and
Vincenzo Mastandrea},
editor = {James Cheney and
Germ{\'{a}}n Vidal},
title = {Actors may synchronize, safely!},
booktitle = {Proceedings of the 18th International Symposium on Principles and
Practice of Declarative Programming, Edinburgh, United Kingdom, September
5-7, 2016},
pages = {118--131},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2967973.2968599},
doi = {10.1145/2967973.2968599},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ppdp/GiachinoHLM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/LaneveP15,
author = {Cosimo Laneve and
Luca Padovani},
title = {An algebraic theory for web service contracts},
journal = {Formal Aspects Comput.},
volume = {27},
number = {4},
pages = {613--640},
year = {2015},
url = {https://doi.org/10.1007/s00165-015-0334-2},
doi = {10.1007/S00165-015-0334-2},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/LaneveP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/facs2/GiachinoJLP15,
author = {Elena Giachino and
Einar Broch Johnsen and
Cosimo Laneve and
Ka I Pun},
editor = {Christiano Braga and
Peter Csaba {\"{O}}lveczky},
title = {Time Complexity of Concurrent Programs - - {A} Technique Based on
Behavioural Types -},
booktitle = {Formal Aspects of Component Software - 12th International Conference,
{FACS} 2015, Niter{\'{o}}i, Brazil, October 14-16, 2015, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {9539},
pages = {199--216},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-28934-2\_11},
doi = {10.1007/978-3-319-28934-2\_11},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/facs2/GiachinoJLP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/GarciaLL15,
author = {Abel Garcia and
Cosimo Laneve and
Michael Lienhardt},
editor = {Moreno Falaschi and
Elvira Albert},
title = {Static analysis of cloud elasticity},
booktitle = {Proceedings of the 17th International Symposium on Principles and
Practice of Declarative Programming, Siena, Italy, July 14-16, 2015},
pages = {125--136},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2790449.2790524},
doi = {10.1145/2790449.2790524},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ppdp/GarciaLL15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/GiachinoLL15,
author = {Elena Giachino and
Cosimo Laneve and
Michael Lienhardt},
title = {A framework for deadlock detection in core {ABS}},
journal = {CoRR},
volume = {abs/1511.04926},
year = {2015},
url = {http://arxiv.org/abs/1511.04926},
eprinttype = {arXiv},
eprint = {1511.04926},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/GiachinoLL15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/GiachinoJLP15,
author = {Elena Giachino and
Einar Broch Johnsen and
Cosimo Laneve and
Ka I Pun},
title = {Time complexity of concurrent programs},
journal = {CoRR},
volume = {abs/1511.05104},
year = {2015},
url = {http://arxiv.org/abs/1511.05104},
eprinttype = {arXiv},
eprint = {1511.05104},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/GiachinoJLP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BoerJLZ14,
author = {Frank S. de Boer and
Mohammad Mahdi Jaghoori and
Cosimo Laneve and
Gianluigi Zavattaro},
title = {Decidability Problems for Actor Systems},
journal = {Log. Methods Comput. Sci.},
volume = {10},
number = {4},
year = {2014},
url = {https://doi.org/10.2168/LMCS-10(4:5)2014},
doi = {10.2168/LMCS-10(4:5)2014},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BoerJLZ14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/GiachinoKL14,
author = {Elena Giachino and
Naoki Kobayashi and
Cosimo Laneve},
editor = {Paolo Baldan and
Daniele Gorla},
title = {Deadlock Analysis of Unbounded Process Networks},
booktitle = {{CONCUR} 2014 - Concurrency Theory - 25th International Conference,
{CONCUR} 2014, Rome, Italy, September 2-5, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8704},
pages = {63--77},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-662-44584-6\_6},
doi = {10.1007/978-3-662-44584-6\_6},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/concur/GiachinoKL14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/GiachinoL14,
author = {Elena Giachino and
Cosimo Laneve},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Towards the Typing of Resource Deployment},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Specialized Techniques and Applications - 6th International Symposium,
ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings,
Part {II}},
series = {Lecture Notes in Computer Science},
volume = {8803},
pages = {88--103},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-662-45231-8\_7},
doi = {10.1007/978-3-662-45231-8\_7},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/GiachinoL14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfm/GiachinoL14,
author = {Elena Giachino and
Cosimo Laneve},
editor = {Marco Bernardo and
Ferruccio Damiani and
Reiner H{\"{a}}hnle and
Einar Broch Johnsen and
Ina Schaefer},
title = {Deadlock Detection in Linear Recursive Programs},
booktitle = {Formal Methods for Executable Software Models - 14th International
School on Formal Methods for the Design of Computer, Communication,
and Software Systems, {SFM} 2014, Bertinoro, Italy, June 16-20, 2014,
Advanced Lectures},
series = {Lecture Notes in Computer Science},
volume = {8483},
pages = {26--64},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-07317-0\_2},
doi = {10.1007/978-3-319-07317-0\_2},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sfm/GiachinoL14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/LaneveP13,
author = {Cosimo Laneve and
Luca Padovani},
editor = {Einar Broch Johnsen and
Luigia Petre},
title = {An Algebraic Theory for Web Service Contracts},
booktitle = {Integrated Formal Methods, 10th International Conference, {IFM} 2013,
Turku, Finland, June 10-14, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7940},
pages = {301--315},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-38613-8\_21},
doi = {10.1007/978-3-642-38613-8\_21},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifm/LaneveP13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/GiachinoGLLW13,
author = {Elena Giachino and
Carlo Augusto Grazia and
Cosimo Laneve and
Michael Lienhardt and
Peter Y. H. Wong},
editor = {Einar Broch Johnsen and
Luigia Petre},
title = {Deadlock Analysis of Concurrent Objects: Theory and Practice},
booktitle = {Integrated Formal Methods, 10th International Conference, {IFM} 2013,
Turku, Finland, June 10-14, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7940},
pages = {394--411},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-38613-8\_27},
doi = {10.1007/978-3-642-38613-8\_27},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ifm/GiachinoGLLW13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nordicloud/AlbertBHJL13,
author = {Elvira Albert and
Frank S. de Boer and
Reiner H{\"{a}}hnle and
Einar Broch Johnsen and
Cosimo Laneve},
editor = {Arnor Solberg and
Muhammad Ali Babar and
Marlon Dumas and
Carlos E. Cuesta},
title = {Engineering virtualized services},
booktitle = {Second Nordic Symposium on Cloud Computing {\&} Internet Technologies,
NordiCloud '13, Oslo, Norway, September 1-3, 2013},
series = {{ACM} International Conference Proceeding Series},
volume = {826},
pages = {59--63},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2513534.2513545},
doi = {10.1145/2513534.2513545},
timestamp = {Fri, 14 Apr 2023 23:05:46 +0200},
biburl = {https://dblp.org/rec/conf/nordicloud/AlbertBHJL13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/GiachinoL13,
author = {Elena Giachino and
Cosimo Laneve},
title = {Deadlock detection in linear recursive programs},
journal = {CoRR},
volume = {abs/1310.7449},
year = {2013},
url = {http://arxiv.org/abs/1310.7449},
eprinttype = {arXiv},
eprint = {1310.7449},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/GiachinoL13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/BoerJLZ12,
author = {Frank S. de Boer and
Mohammad Mahdi Jaghoori and
Cosimo Laneve and
Gianluigi Zavattaro},
editor = {Maciej Koutny and
Irek Ulidowski},
title = {Decidability Problems for Actor Systems},
booktitle = {{CONCUR} 2012 - Concurrency Theory - 23rd International Conference,
{CONCUR} 2012, Newcastle upon Tyne, UK, September 4-7, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7454},
pages = {562--577},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-32940-1\_39},
doi = {10.1007/978-3-642-32940-1\_39},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/BoerJLZ12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tgc/GiachinoL12,
author = {Elena Giachino and
Cosimo Laneve},
editor = {Catuscia Palamidessi and
Mark Dermot Ryan},
title = {A Beginner's Guide to the DeadLock Analysis Model},
booktitle = {Trustworthy Global Computing - 7th International Symposium, {TGC}
2012, Newcastle upon Tyne, UK, September 7-8, 2012, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {8191},
pages = {49--63},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-41157-1\_4},
doi = {10.1007/978-3-642-41157-1\_4},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tgc/GiachinoL12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/CardelliL11,
author = {Luca Cardelli and
Cosimo Laneve},
title = {Reversibility in Massive Concurrent Systems},
journal = {Sci. Ann. Comput. Sci.},
volume = {21},
number = {2},
pages = {175--198},
year = {2011},
url = {http://www.info.uaic.ro/bin/Annals/Article?v=XXI2\&\#38;a=0},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cuza/CardelliL11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cmsb/CardelliL11,
author = {Luca Cardelli and
Cosimo Laneve},
editor = {Fran{\c{c}}ois Fages},
title = {Reversible structures},
booktitle = {Computational Methods in Systems Biology, 9th International Conference,
{CMSB} 2011, Paris, France, September 21-23, 2011. Proceedings},
pages = {131--140},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2037509.2037529},
doi = {10.1145/2037509.2037529},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cmsb/CardelliL11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/GiachinoL11,
author = {Elena Giachino and
Cosimo Laneve},
editor = {Roberto Bruni and
J{\"{u}}rgen Dingel},
title = {Analysis of Deadlocks in Object Groups},
booktitle = {Formal Techniques for Distributed Systems - Joint 13th {IFIP} {WG}
6.1 International Conference, {FMOODS} 2011, and 31st {IFIP} {WG}
6.1 International Conference, {FORTE} 2011, Reykjavik, Iceland, June
6-9, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6722},
pages = {168--182},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-21461-5\_11},
doi = {10.1007/978-3-642-21461-5\_11},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/forte/GiachinoL11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1108-3419,
author = {Luca Cardelli and
Cosimo Laneve},
title = {Reversibility in Massive Concurrent Systems},
journal = {CoRR},
volume = {abs/1108.3419},
year = {2011},
url = {http://arxiv.org/abs/1108.3419},
eprinttype = {arXiv},
eprint = {1108.3419},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1108-3419.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/LaneveV10,
author = {Cosimo Laneve and
Antonio Vitale},
title = {The Expressive Power of Synchronizations},
booktitle = {Proceedings of the 25th Annual {IEEE} Symposium on Logic in Computer
Science, {LICS} 2010, 11-14 July 2010, Edinburgh, United Kingdom},
pages = {382--391},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/LICS.2010.15},
doi = {10.1109/LICS.2010.15},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/LaneveV10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/LaneveLS10,
author = {Cosimo Laneve and
Tudor A. Lascu and
Vania Sordoni},
editor = {David Delmas and
Xavier Rival},
title = {The Interval Analysis of Multilinear Expressions},
booktitle = {Proceedings of the Tools for Automatic Program AnalysiS, TAPAS@SAS
2010, Perpignan, France, September 17, 2010},
series = {Electronic Notes in Theoretical Computer Science},
volume = {267},
number = {2},
pages = {43--53},
publisher = {Elsevier},
year = {2010},
url = {https://doi.org/10.1016/j.entcs.2010.09.017},
doi = {10.1016/J.ENTCS.2010.09.017},
timestamp = {Fri, 10 Mar 2023 11:20:58 +0100},
biburl = {https://dblp.org/rec/journals/entcs/LaneveLS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/wsfm/2009,
editor = {Cosimo Laneve and
Jianwen Su},
title = {Web Services and Formal Methods, 6th International Workshop, {WS-FM}
2009, Bologna, Italy, September 4-5, 2009, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {6194},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-14458-5},
doi = {10.1007/978-3-642-14458-5},
isbn = {978-3-642-14457-8},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wsfm/2009.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/CarpinetiLP09,
author = {Samuele Carpineti and
Cosimo Laneve and
Luca Padovani},
title = {PiDuce - {A} project for experimenting Web services technologies},
journal = {Sci. Comput. Program.},
volume = {74},
number = {10},
pages = {777--811},
year = {2009},
url = {https://doi.org/10.1016/j.scico.2009.03.002},
doi = {10.1016/J.SCICO.2009.03.002},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/scp/CarpinetiLP09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cmsb/DelzannoGGLZ09,
author = {Giorgio Delzanno and
Cinzia Di Giusto and
Maurizio Gabbrielli and
Cosimo Laneve and
Gianluigi Zavattaro},
editor = {Pierpaolo Degano and
Roberto Gorrieri},
title = {The \emph{kappa}-Lattice: Decidability Boundaries for Qualitative
Analysis in Biological Languages},
booktitle = {Computational Methods in Systems Biology, 7th International Conference,
{CMSB} 2009, Bologna, Italy, August 31-September 1, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5688},
pages = {158--172},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-03845-7\_11},
doi = {10.1007/978-3-642-03845-7\_11},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cmsb/DelzannoGGLZ09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/LanevePZ09,
author = {Cosimo Laneve and
Sylvain Pradalier and
Gianluigi Zavattaro},
editor = {Christel Baier and
Alessandra Di Pierro},
title = {From Biochemistry to Stochastic Processes},
booktitle = {Proceedings of Seventh Workshop on Quantitative Aspects of Programming
Languages, {QAPL} 2009, York, UK, March 28-29, 2009},
series = {Electronic Notes in Theoretical Computer Science},
volume = {253},
number = {3},
pages = {167--185},
publisher = {Elsevier},
year = {2009},
url = {https://doi.org/10.1016/j.entcs.2009.10.011},
doi = {10.1016/J.ENTCS.2009.10.011},
timestamp = {Fri, 20 Jan 2023 14:27:03 +0100},
biburl = {https://dblp.org/rec/journals/entcs/LanevePZ09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/LaneveT08,
author = {Cosimo Laneve and
Fabien Tarissan},
title = {A simple calculus for proteins and cells},
journal = {Theor. Comput. Sci.},
volume = {404},
number = {1-2},
pages = {127--141},
year = {2008},
url = {https://doi.org/10.1016/j.tcs.2008.04.011},
doi = {10.1016/J.TCS.2008.04.011},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/LaneveT08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/CrediGLPSZ08,
author = {Alberto Credi and
Marco Garavelli and
Cosimo Laneve and
Sylvain Pradalier and
Serena Silvi and
Gianluigi Zavattaro},
title = {nanoK: {A} calculus for the modeling and simulation of nano devices},
journal = {Theor. Comput. Sci.},
volume = {408},
number = {1},
pages = {17--30},
year = {2008},
url = {https://doi.org/10.1016/j.tcs.2008.07.006},
doi = {10.1016/J.TCS.2008.07.006},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/CrediGLPSZ08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/LaneveP08,
author = {Cosimo Laneve and
Luca Padovani},
editor = {Pierpaolo Degano and
Rocco De Nicola and
Jos{\'{e}} Meseguer},
title = {The Pairing of Contracts and Session Types},
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 = {681--700},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-68679-8\_42},
doi = {10.1007/978-3-540-68679-8\_42},
timestamp = {Thu, 21 Sep 2023 09:08:34 +0200},
biburl = {https://dblp.org/rec/conf/birthday/LaneveP08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/LaneveV08,
author = {Cosimo Laneve and
Antonio Vitale},
editor = {Andrej Bauer and
Michael W. Mislove},
title = {Expressivity in the kappa Family},
booktitle = {Proceedings of the 24th Conference on the Mathematical Foundations
of Programming Semantics, {MFPS} 2008, Philadelphia, PA, USA, May
22-25, 2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {218},
pages = {97--109},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2008.10.007},
doi = {10.1016/J.ENTCS.2008.10.007},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/LaneveV08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/GardnerLW07,
author = {Philippa Gardner and
Cosimo Laneve and
Lucian Wischik},
title = {Linear forwarders},
journal = {Inf. Comput.},
volume = {205},
number = {10},
pages = {1526--1550},
year = {2007},
url = {https://doi.org/10.1016/j.ic.2007.01.006},
doi = {10.1016/J.IC.2007.01.006},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iandc/GardnerLW07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cmsb/CrediGLPSZ07,
author = {Alberto Credi and
Marco Garavelli and
Cosimo Laneve and
Sylvain Pradalier and
Serena Silvi and
Gianluigi Zavattaro},
editor = {Muffy Calder and
Stephen Gilmore},
title = {Modelization and Simulation of Nano Devices in {\textdollar}{\textbackslash}mathtt\{nano\}{\textbackslash}kappa{\textdollar}
Calculus},
booktitle = {Computational Methods in Systems Biology, International Conference,
{CMSB} 2007, Edinburgh, Scotland, September 20-21, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4695},
pages = {168--183},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-75140-3\_12},
doi = {10.1007/978-3-540-75140-3\_12},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cmsb/CrediGLPSZ07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/LaneveP07,
author = {Cosimo Laneve and
Luca Padovani},
editor = {Lu{\'{\i}}s Caires and
Vasco Thudichum Vasconcelos},
title = {The \emph{Must} Preorder Revisited},
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 = {212--225},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-74407-8\_15},
doi = {10.1007/978-3-540-74407-8\_15},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/LaneveP07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/concur/2003bio,
editor = {Vincent Danos and
Cosimo Laneve},
title = {Proceedings of the First Workshop on Concurrent Models in Molecular
Biology, BioConcur@CONCUR 2003, Marseille, France, September 6, 2003},
series = {Electronic Notes in Theoretical Computer Science},
volume = {180},
number = {3},
publisher = {Elsevier},
year = {2007},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/180/issue/3},
timestamp = {Tue, 31 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/concur/2003bio.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/CarpinetiL06,
author = {Samuele Carpineti and
Cosimo Laneve},
editor = {Peter Sestoft},
title = {A Basic Contract Language for Web Services},
booktitle = {Programming Languages and Systems, 15th European Symposium on Programming,
{ESOP} 2006, Held as Part of the Joint European Conferences on Theory
and Practice of Software, {ETAPS} 2006, Vienna, Austria, March 27-28,
2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3924},
pages = {197--213},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11693024\_14},
doi = {10.1007/11693024\_14},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/esop/CarpinetiL06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/LaneveP06,
author = {Cosimo Laneve and
Luca Padovani},
editor = {Luca Aceto and
Anna Ing{\'{o}}lfsd{\'{o}}ttir},
title = {Smooth Orchestrators},
booktitle = {Foundations of Software Science and Computation Structures, 9th International
Conference, {FOSSACS} 2006, Held as Part of the Joint European Conferences
on Theory and Practice of Software, {ETAPS} 2006, Vienna, Austria,
March 25-31, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3921},
pages = {32--46},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11690634\_3},
doi = {10.1007/11690634\_3},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fossacs/LaneveP06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wsfm/CarpinetiCLP06,
author = {Samuele Carpineti and
Giuseppe Castagna and
Cosimo Laneve and
Luca Padovani},
editor = {Mario Bravetti and
Manuel N{\'{u}}{\~{n}}ez and
Gianluigi Zavattaro},
title = {A Formal Account of Contracts for Web Services},
booktitle = {Web Services and Formal Methods, Third International Workshop, {WS-FM}
2006 Vienna, Austria, September 8-9, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4184},
pages = {148--162},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11841197\_10},
doi = {10.1007/11841197\_10},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wsfm/CarpinetiCLP06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/LaneveT07,
author = {Cosimo Laneve and
Fabien Tarissan},
editor = {Nadia Busi and
Claudio Zandron},
title = {A Simple Calculus for Proteins and Cells},
booktitle = {Proceedings of the First Workshop on Membrane Computing and Biologically
Inspired Process Calculi, MeCBIC@ICALP 2006, Venice, Italy, July 9,
2006},
series = {Electronic Notes in Theoretical Computer Science},
volume = {171},
number = {2},
pages = {139--154},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.1016/j.entcs.2007.05.013},
doi = {10.1016/J.ENTCS.2007.05.013},
timestamp = {Fri, 27 Jan 2023 11:08:52 +0100},
biburl = {https://dblp.org/rec/journals/entcs/LaneveT07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsd/CarpinetiLM05,
author = {Samuele Carpineti and
Cosimo Laneve and
Paolo Milazzo},
title = {BoPi - {A} Distributed Machine for Experimenting Web Services Technologies},
booktitle = {Fifth International Conference on Application of Concurrency to System
Design {(ACSD} 2005), 6-9 June 2005, St. Malo, France},
pages = {202--211},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/ACSD.2005.6},
doi = {10.1109/ACSD.2005.6},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/acsd/CarpinetiLM05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/epew/BrownLM05,
author = {Allen L. Brown Jr. and
Cosimo Laneve and
L. Gregory Meredith},
editor = {Mario Bravetti and
Le{\"{\i}}la Kloul and
Gianluigi Zavattaro},
title = {PiDuce: {A} Process Calculus with Native {XML} Datatypes},
booktitle = {Formal Techniques for Computer Systems and Business Processes, European
Performance Engineering Workshop, {EPEW} 2005 and International Workshop
on Web Services and Formal Methods, {WS-FM} 2005, Versailles, France,
September 1-3, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3670},
pages = {18--34},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11549970\_3},
doi = {10.1007/11549970\_3},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/epew/BrownLM05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/LaneveZ05,
author = {Cosimo Laneve and
Gianluigi Zavattaro},
editor = {Vladimiro Sassone},
title = {Foundations of Web Transactions},
booktitle = {Foundations of Software Science and Computational Structures, 8th
International Conference, {FOSSACS} 2005, Held as Part of the Joint
European Conferences on Theory and Practice of Software, {ETAPS} 2005,
Edinburgh, UK, April 4-8, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3441},
pages = {282--298},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/978-3-540-31982-5\_18},
doi = {10.1007/978-3-540-31982-5\_18},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fossacs/LaneveZ05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tgc/LaneveZ05,
author = {Cosimo Laneve and
Gianluigi Zavattaro},
editor = {Rocco De Nicola and
Davide Sangiorgi},
title = {web-pi at Work},
booktitle = {Trustworthy Global Computing, International Symposium, {TGC} 2005,
Edinburgh, UK, April 7-9, 2005, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {3705},
pages = {182--194},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11580850\_11},
doi = {10.1007/11580850\_11},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tgc/LaneveZ05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/CarpinetiL06,
author = {Samuele Carpineti and
Cosimo Laneve},
editor = {Luca Aceto and
Andrew D. Gordon},
title = {A Rude Contract Language for Web Services},
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 = {147--152},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2006.01.029},
doi = {10.1016/J.ENTCS.2006.01.029},
timestamp = {Fri, 20 Jan 2023 12:38:53 +0100},
biburl = {https://dblp.org/rec/journals/entcs/CarpinetiL06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/DanosL04,
author = {Vincent Danos and
Cosimo Laneve},
title = {Formal molecular biology},
journal = {Theor. Comput. Sci.},
volume = {325},
number = {1},
pages = {69--110},
year = {2004},
url = {https://doi.org/10.1016/j.tcs.2004.03.065},
doi = {10.1016/J.TCS.2004.03.065},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/DanosL04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/FournetLMR03,
author = {C{\'{e}}dric Fournet and
Cosimo Laneve and
Luc Maranget and
Didier R{\'{e}}my},
title = {Inheritance in the join calculus},
journal = {J. Log. Algebraic Methods Program.},
volume = {57},
number = {1-2},
pages = {23--69},
year = {2003},
url = {https://doi.org/10.1016/S1567-8326(03)00040-7},
doi = {10.1016/S1567-8326(03)00040-7},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jlp/FournetLMR03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/LaneveV03,
author = {Cosimo Laneve and
Bj{\"{o}}rn Victor},
title = {Solos In Concert},
journal = {Math. Struct. Comput. Sci.},
volume = {13},
number = {5},
pages = {657--683},
year = {2003},
url = {https://doi.org/10.1017/S0960129503004055},
doi = {10.1017/S0960129503004055},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/LaneveV03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Laneve03,
author = {Cosimo Laneve},
title = {A type system for {JVM} threads},
journal = {Theor. Comput. Sci.},
volume = {290},
number = {1},
pages = {741--778},
year = {2003},
url = {https://doi.org/10.1016/S0304-3975(02)00330-4},
doi = {10.1016/S0304-3975(02)00330-4},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/Laneve03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cmsb/DanosL03,
author = {Vincent Danos and
Cosimo Laneve},
editor = {Corrado Priami},
title = {Graphs for Core Molecular Biology},
booktitle = {Computational Methods in Systems Biology, First International Workshop,
{CMSB} 2003, Roverto, Italy, February 24-26, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2602},
pages = {34--46},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-36481-1\_4},
doi = {10.1007/3-540-36481-1\_4},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cmsb/DanosL03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/GardnerLW03,
author = {Philippa Gardner and
Cosimo Laneve and
Lucian Wischik},
editor = {Roberto M. Amadio and
Denis Lugiez},
title = {Linear Forwarders},
booktitle = {{CONCUR} 2003 - Concurrency Theory, 14th International Conference,
Marseille, France, September 3-5, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2761},
pages = {408--422},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-45187-7\_27},
doi = {10.1007/978-3-540-45187-7\_27},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/GardnerLW03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/DanosL03,
author = {Vincent Danos and
Cosimo Laneve},
editor = {Pierpaolo Degano},
title = {Core Formal Molecular Biology},
booktitle = {Programming Languages and Systems, 12th European Symposium on Programming,
{ESOP} 2003, Held as Part of the Joint European Conferences on Theory
and Practice of Software, {ETAPS} 2003, Warsaw, Poland, April 7-11,
2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2618},
pages = {302--318},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-36575-3\_21},
doi = {10.1007/3-540-36575-3\_21},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/esop/DanosL03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmoods/BocchiLZ03,
author = {Laura Bocchi and
Cosimo Laneve and
Gianluigi Zavattaro},
editor = {Elie Najm and
Uwe Nestmann and
Perdita Stevens},
title = {A Calculus for Long-Running Transactions},
booktitle = {Formal Methods for Open Object-Based Distributed Systems, 6th {IFIP}
{WG} 6.1 International Conference, {FMOODS} 2003, Paris, France, November
19.21, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2884},
pages = {124--138},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-39958-2\_9},
doi = {10.1007/978-3-540-39958-2\_9},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmoods/BocchiLZ03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/DanosL07,
author = {Vincent Danos and
Cosimo Laneve},
editor = {Vincent Danos and
Cosimo Laneve},
title = {Preface},
booktitle = {Proceedings of the First Workshop on Concurrent Models in Molecular
Biology, BioConcur@CONCUR 2003, Marseille, France, September 6, 2003},
series = {Electronic Notes in Theoretical Computer Science},
volume = {180},
number = {3},
pages = {1--2},
publisher = {Elsevier},
year = {2003},
url = {https://doi.org/10.1016/j.entcs.2006.11.045},
doi = {10.1016/J.ENTCS.2006.11.045},
timestamp = {Tue, 31 Jan 2023 14:03:03 +0100},
biburl = {https://dblp.org/rec/journals/entcs/DanosL07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ictcs/2003,
editor = {Carlo Blundo and
Cosimo Laneve},
title = {Theoretical Computer Science, 8th Italian Conference, {ICTCS} 2003,
Bertinoro, Italy, October 13-15, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2841},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/b13810},
doi = {10.1007/B13810},
isbn = {3-540-20216-1},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ictcs/2003.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/BruniLM02,
author = {Roberto Bruni and
Cosimo Laneve and
Ugo Montanari},
editor = {Lubos Brim and
Petr Jancar and
Mojm{\'{\i}}r Kret{\'{\i}}nsk{\'{y}} and
Anton{\'{\i}}n Kucera},
title = {Orchestrating Transactions in Join Calculus},
booktitle = {{CONCUR} 2002 - Concurrency Theory, 13th International Conference,
Brno, Czech Republic, August 20-23, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2421},
pages = {321--337},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45694-5\_22},
doi = {10.1007/3-540-45694-5\_22},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/BruniLM02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/GardnerLW02,
author = {Philippa Gardner and
Cosimo Laneve and
Lucian Wischik},
editor = {Lubos Brim and
Petr Jancar and
Mojm{\'{\i}}r Kret{\'{\i}}nsk{\'{y}} and
Anton{\'{\i}}n Kucera},
title = {The Fusion Machine},
booktitle = {{CONCUR} 2002 - Concurrency Theory, 13th International Conference,
Brno, Czech Republic, August 20-23, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2421},
pages = {418--433},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45694-5\_28},
doi = {10.1007/3-540-45694-5\_28},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/GardnerLW02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/FournetL01,
author = {C{\'{e}}dric Fournet and
Cosimo Laneve},
title = {Bisimulations in the join-calculus},
journal = {Theor. Comput. Sci.},
volume = {266},
number = {1-2},
pages = {569--603},
year = {2001},
url = {https://doi.org/10.1016/S0304-3975(00)00283-8},
doi = {10.1016/S0304-3975(00)00283-8},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/FournetL01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacs/LanevePV01,
author = {Cosimo Laneve and
Joachim Parrow and
Bj{\"{o}}rn Victor},
editor = {Naoki Kobayashi and
Benjamin C. Pierce},
title = {Solo Diagrams},
booktitle = {Theoretical Aspects of Computer Software, 4th International Symposium,
{TACS} 2001, Sendai, Japan, October 29-31, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2215},
pages = {127--144},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45500-0\_6},
doi = {10.1007/3-540-45500-0\_6},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacs/LanevePV01.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}
}
@inproceedings{DBLP:conf/fsttcs/FournetLMR00,
author = {C{\'{e}}dric Fournet and
Cosimo Laneve and
Luc Maranget and
Didier R{\'{e}}my},
editor = {Sanjiv Kapoor and
Sanjiva Prasad},
title = {Inheritance in the Join Calculus},
booktitle = {Foundations of Software Technology and Theoretical Computer Science,
20th Conference, {FST} {TCS} 2000 New Delhi, India, December 13-15,
2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1974},
pages = {397--408},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-44450-5\_32},
doi = {10.1007/3-540-44450-5\_32},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/FournetLMR00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmoods/Laneve99,
author = {Cosimo Laneve},
editor = {Paolo Ciancarini and
Alessandro Fantechi and
Roberto Gorrieri},
title = {Calculi for Concurrent Objects (Tutorial)},
booktitle = {Formal Methods for Open Object-Based Distributed Systems, {IFIF} {TC6/WG6.1}
Third International Conference on Formal Methods for Open Object-Based
Distributed Systems (FMOODS), February 15-18, 1999, Florence, Italy},
series = {{IFIP} Conference Proceedings},
volume = {139},
publisher = {Kluwer},
year = {1999},
timestamp = {Tue, 04 Mar 2003 07:57:24 +0100},
biburl = {https://dblp.org/rec/conf/fmoods/Laneve99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/LaneveV99,
author = {Cosimo Laneve and
Bj{\"{o}}rn Victor},
editor = {Jir{\'{\i}} Wiedermann and
Peter van Emde Boas and
Mogens Nielsen},
title = {Solos in Concert},
booktitle = {Automata, Languages and Programming, 26th International Colloquium,
ICALP'99, Prague, Czech Republic, July 11-15, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1644},
pages = {513--523},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48523-6\_48},
doi = {10.1007/3-540-48523-6\_48},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/LaneveV99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/procomet/MorealeFL98,
author = {Michele Boreale and
C{\'{e}}dric Fournet and
Cosimo Laneve},
editor = {David Gries and
Willem P. de Roever},
title = {Bisimulations in the join-calculus},
booktitle = {Programming Concepts and Methods, {IFIP} TC2/WG2.2,2.3 International
Conference on Programming Concepts and Methods {(PROCOMET} '98) 8-12
June 1998, Shelter Island, New York, {USA}},
series = {{IFIP} Conference Proceedings},
volume = {125},
pages = {68--86},
publisher = {Chapman {\&} Hall},
year = {1998},
timestamp = {Wed, 23 Aug 2006 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/procomet/MorealeFL98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/FournetLMR97,
author = {C{\'{e}}dric Fournet and
Cosimo Laneve and
Luc Maranget and
Didier R{\'{e}}my},
editor = {Antoni W. Mazurkiewicz and
J{\'{o}}zef Winkowski},
title = {Implicit Typing {\`{a}} la {ML} for the Join-Calculus},
booktitle = {{CONCUR} '97: Concurrency Theory, 8th International Conference, Warsaw,
Poland, July 1-4, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1243},
pages = {196--212},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63141-0\_14},
doi = {10.1007/3-540-63141-0\_14},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/FournetLMR97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/AspertiL97,
author = {Andrea Asperti and
Cosimo Laneve},
editor = {Pierpaolo Degano and
Roberto Gorrieri and
Alberto Marchetti{-}Spaccamela},
title = {On the Dynamics of Sharing Graphs},
booktitle = {Automata, Languages and Programming, 24th International Colloquium,
ICALP'97, Bologna, Italy, 7-11 July 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1256},
pages = {259--269},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63165-8\_183},
doi = {10.1007/3-540-63165-8\_183},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/AspertiL97.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}
}
@article{DBLP:journals/mscs/LaneveM96,
author = {Cosimo Laneve and
Ugo Montanari},
title = {Axiomatizing Permutation Equivalence},
journal = {Math. Struct. Comput. Sci.},
volume = {6},
number = {3},
pages = {219--249},
year = {1996},
url = {https://doi.org/10.1017/S0960129500000980},
doi = {10.1017/S0960129500000980},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/LaneveM96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/AspertiL96,
author = {Andrea Asperti and
Cosimo Laneve},
title = {Interaction Systems {II:} The Practice of Optimal Reductions},
journal = {Theor. Comput. Sci.},
volume = {159},
number = {2},
pages = {191--244},
year = {1996},
url = {https://doi.org/10.1016/0304-3975(95)00062-3},
doi = {10.1016/0304-3975(95)00062-3},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/AspertiL96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/GorrieriL95,
author = {Roberto Gorrieri and
Cosimo Laneve},
title = {Split and {ST} Bisimulation Semantics},
journal = {Inf. Comput.},
volume = {118},
number = {2},
pages = {272--288},
year = {1995},
url = {https://doi.org/10.1006/inco.1995.1066},
doi = {10.1006/INCO.1995.1066},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/GorrieriL95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/AspertiL95,
author = {Andrea Asperti and
Cosimo Laneve},
title = {Paths, Computations and Labels in the lambda-Calculus},
journal = {Theor. Comput. Sci.},
volume = {142},
number = {2},
pages = {277--297},
year = {1995},
url = {https://doi.org/10.1016/0304-3975(94)00279-7},
doi = {10.1016/0304-3975(94)00279-7},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/AspertiL95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tlca/AspertiL95,
author = {Andrea Asperti and
Cosimo Laneve},
editor = {Mariangiola Dezani{-}Ciancaglini and
Gordon D. Plotkin},
title = {Comparing Lambda-calculus translations in Sharing Graphs},
booktitle = {Typed Lambda Calculi and Applications, Second International Conference
on Typed Lambda Calculi and Applications, {TLCA} '95, Edinburgh, UK,
April 10-12, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {902},
pages = {1--15},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/BFb0014041},
doi = {10.1007/BFB0014041},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tlca/AspertiL95.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/fuin/Laneve94,
author = {Cosimo Laneve},
title = {Distributive Evaluations of lambda-calculus},
journal = {Fundam. Informaticae},
volume = {20},
number = {4},
pages = {333--352},
year = {1994},
url = {https://doi.org/10.3233/FI-1994-2043},
doi = {10.3233/FI-1994-2043},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/Laneve94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/AspertiL94,
author = {Andrea Asperti and
Cosimo Laneve},
title = {Interaction Systems {I:} The Theory of Optimal Reductions},
journal = {Math. Struct. Comput. Sci.},
volume = {4},
number = {4},
pages = {457--504},
year = {1994},
url = {https://doi.org/10.1017/S0960129500000566},
doi = {10.1017/S0960129500000566},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/AspertiL94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/AspertiDLR94,
author = {Andrea Asperti and
Vincent Danos and
Cosimo Laneve and
Laurent Regnier},
title = {Paths in the lambda-calculus},
booktitle = {Proceedings of the Ninth Annual Symposium on Logic in Computer Science
{(LICS} '94), Paris, France, July 4-7, 1994},
pages = {426--436},
publisher = {{IEEE} Computer Society},
year = {1994},
url = {https://doi.org/10.1109/LICS.1994.316048},
doi = {10.1109/LICS.1994.316048},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/AspertiDLR94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacs/AspertiL94,
author = {Andrea Asperti and
Cosimo Laneve},
editor = {Masami Hagiya and
John C. Mitchell},
title = {The Family Relation in Interaction Systems},
booktitle = {Theoretical Aspects of Computer Software, International Conference
{TACS} '94, Sendai, Japan, April 19-22, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {789},
pages = {366--384},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-57887-0\_105},
doi = {10.1007/3-540-57887-0\_105},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacs/AspertiL94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hoa/AspertiL93,
author = {Andrea Asperti and
Cosimo Laneve},
editor = {Jan Heering and
Karl Meinke and
Bernhard M{\"{o}}ller and
Tobias Nipkow},
title = {Interaction Systems},
booktitle = {Higher-Order Algebra, Logic, and Term Rewriting, First International
Workshop, {HOA} '93, Amsterdam, The Netherlands, September 23-24,
1993, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {816},
pages = {1--19},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-58233-9\_1},
doi = {10.1007/3-540-58233-9\_1},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hoa/AspertiL93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/AspertiL93,
author = {Andrea Asperti and
Cosimo Laneve},
editor = {Claude Kirchner},
title = {Paths, Computations and Labels in the Lambda-Calculus},
booktitle = {Rewriting Techniques and Applications, 5th International Conference,
RTA-93, Montreal, Canada, June 16-18, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {690},
pages = {152--167},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/978-3-662-21551-7\_13},
doi = {10.1007/978-3-662-21551-7\_13},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/rta/AspertiL93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tapsoft/AspertiL93,
author = {Andrea Asperti and
Cosimo Laneve},
editor = {Marie{-}Claude Gaudel and
Jean{-}Pierre Jouannaud},
title = {Optimal Reductions in Interaction Systems},
booktitle = {TAPSOFT'93: Theory and Practice of Software Development, International
Joint Conference CAAP/FASE, Orsay, France, April 13-17, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {668},
pages = {485--500},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-56610-4\_84},
doi = {10.1007/3-540-56610-4\_84},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tapsoft/AspertiL93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/alp/LaneveM92,
author = {Cosimo Laneve and
Ugo Montanari},
editor = {H{\'{e}}l{\`{e}}ne Kirchner and
Giorgio Levi},
title = {Axiomatizing Permutation Equivalence in the Lambda-Calculus},
booktitle = {Algebraic and Logic Programming, Third International Conference, Volterra,
Italy, September 2-4, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {632},
pages = {350--363},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/BFb0013837},
doi = {10.1007/BFB0013837},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/alp/LaneveM92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/LaneveM92,
author = {Cosimo Laneve and
Ugo Montanari},
editor = {Ivan M. Havel and
V{\'{a}}clav Koubek},
title = {Mobility in the CC-Paradigm},
booktitle = {Mathematical Foundations of Computer Science 1992, 17th International
Symposium, MFCS'92, Prague, Czechoslovakia, August 24-28, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {629},
pages = {336--345},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-55808-X\_32},
doi = {10.1007/3-540-55808-X\_32},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/LaneveM92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/GorrieriL91,
author = {Roberto Gorrieri and
Cosimo Laneve},
editor = {Andrzej Tarlecki},
title = {The Limit of Split{\_}n-Bisimulations for {CCS} Agents},
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 = {170--180},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-54345-7\_60},
doi = {10.1007/3-540-54345-7\_60},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/GorrieriL91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/FantechiGL89,
author = {Alessandro Fantechi and
Stefania Gnesi and
Cosimo Laneve},
editor = {Son T. Vuong},
title = {An Expressive Temporal Logic for Basic {LOTOS}},
booktitle = {Formal Description Techniques, II, Proceedings of the {IFIP} {TC/WG6.1}
Second International Conference on Formal Description Techniques for
Distributed Systems and Communication Protocols, FORTE'89, Vancouver,
BC, Canada, 5-8 December, 1989},
pages = {261--276},
publisher = {North-Holland},
year = {1989},
timestamp = {Thu, 03 Jan 2002 11:58:39 +0100},
biburl = {https://dblp.org/rec/conf/forte/FantechiGL89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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-25 02:41 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:
