Stop the war!
Остановите войну!
for scientists:
default search action
Search dblp for Publications
export results for "toc:db/series/eptcs/eptcs166.bht:"
@inproceedings{DBLP:journals/corr/Barbanerad13, author = {Franco Barbanera and Ugo de'Liguoro}, editor = {Ivan Lanese and Alberto Lluch{-}Lafuente and Ana Sokolova and Hugo Torres Vieira}, title = {Loosening the notions of compliance and sub-behaviour in client/server systems}, booktitle = {Proceedings 7th Interaction and Concurrency Experience, {ICE} 2014, Berlin, Germany, 6th June 2014}, series = {{EPTCS}}, volume = {166}, pages = {94--110}, year = {2014}, url = {https://doi.org/10.4204/EPTCS.166.10}, doi = {10.4204/EPTCS.166.10}, timestamp = {Fri, 27 Mar 2020 08:38:57 +0100}, biburl = {https://dblp.org/rec/journals/corr/Barbanerad13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/corr/BartolettiCP14, author = {Massimo Bartoletti and Tiziana Cimoli and G. Michele Pinna}, editor = {Ivan Lanese and Alberto Lluch{-}Lafuente and Ana Sokolova and Hugo Torres Vieira}, title = {A note on two notions of compliance}, booktitle = {Proceedings 7th Interaction and Concurrency Experience, {ICE} 2014, Berlin, Germany, 6th June 2014}, series = {{EPTCS}}, volume = {166}, pages = {86--93}, year = {2014}, url = {https://doi.org/10.4204/EPTCS.166.9}, doi = {10.4204/EPTCS.166.9}, timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/BartolettiCP14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/corr/BasileDFT14, author = {Davide Basile and Pierpaolo Degano and Gian{-}Luigi Ferrari and Emilio Tuosto}, editor = {Ivan Lanese and Alberto Lluch{-}Lafuente and Ana Sokolova and Hugo Torres Vieira}, title = {From Orchestration to Choreography through Contract Automata}, booktitle = {Proceedings 7th Interaction and Concurrency Experience, {ICE} 2014, Berlin, Germany, 6th June 2014}, series = {{EPTCS}}, volume = {166}, pages = {67--85}, year = {2014}, url = {https://doi.org/10.4204/EPTCS.166.8}, doi = {10.4204/EPTCS.166.8}, timestamp = {Fri, 23 Jun 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/BasileDFT14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/corr/Given-Wilson14, author = {Thomas Given{-}Wilson}, editor = {Ivan Lanese and Alberto Lluch{-}Lafuente and Ana Sokolova and Hugo Torres Vieira}, title = {An Intensional Concurrent Faithful Encoding of Turing Machines}, booktitle = {Proceedings 7th Interaction and Concurrency Experience, {ICE} 2014, Berlin, Germany, 6th June 2014}, series = {{EPTCS}}, volume = {166}, pages = {21--37}, year = {2014}, url = {https://doi.org/10.4204/EPTCS.166.4}, doi = {10.4204/EPTCS.166.4}, timestamp = {Fri, 02 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/Given-Wilson14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/corr/JongmansA14, author = {Sung{-}Shik T. Q. Jongmans and Farhad Arbab}, editor = {Ivan Lanese and Alberto Lluch{-}Lafuente and Ana Sokolova and Hugo Torres Vieira}, title = {Toward Sequentializing Overparallelized Protocol Code}, booktitle = {Proceedings 7th Interaction and Concurrency Experience, {ICE} 2014, Berlin, Germany, 6th June 2014}, series = {{EPTCS}}, volume = {166}, pages = {38--44}, year = {2014}, url = {https://doi.org/10.4204/EPTCS.166.5}, doi = {10.4204/EPTCS.166.5}, timestamp = {Wed, 12 Sep 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/JongmansA14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/corr/LatellaLM14, author = {Diego Latella and Michele Loreti and Mieke Massink}, editor = {Ivan Lanese and Alberto Lluch{-}Lafuente and Ana Sokolova and Hugo Torres Vieira}, title = {On-the-fly Probabilistic Model Checking}, booktitle = {Proceedings 7th Interaction and Concurrency Experience, {ICE} 2014, Berlin, Germany, 6th June 2014}, series = {{EPTCS}}, volume = {166}, pages = {45--59}, year = {2014}, url = {https://doi.org/10.4204/EPTCS.166.6}, doi = {10.4204/EPTCS.166.6}, timestamp = {Mon, 26 Jun 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/LatellaLM14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/corr/NininH14, author = {Nicolas Ninin and Emmanuel Haucourt}, editor = {Ivan Lanese and Alberto Lluch{-}Lafuente and Ana Sokolova and Hugo Torres Vieira}, title = {The Boolean Algebra of Cubical Areas as a Tensor Product in the Category of Semilattices with Zero}, booktitle = {Proceedings 7th Interaction and Concurrency Experience, {ICE} 2014, Berlin, Germany, 6th June 2014}, series = {{EPTCS}}, volume = {166}, pages = {60--66}, year = {2014}, url = {https://doi.org/10.4204/EPTCS.166.7}, doi = {10.4204/EPTCS.166.7}, timestamp = {Wed, 12 Sep 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/NininH14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/corr/NormannPH14, author = {H{\aa}kon Normann and Cristian Prisacariu and Thomas T. Hildebrandt}, editor = {Ivan Lanese and Alberto Lluch{-}Lafuente and Ana Sokolova and Hugo Torres Vieira}, title = {Concurrency Models with Causality and Events as Psi-calculi}, booktitle = {Proceedings 7th Interaction and Concurrency Experience, {ICE} 2014, Berlin, Germany, 6th June 2014}, series = {{EPTCS}}, volume = {166}, pages = {4--20}, year = {2014}, url = {https://doi.org/10.4204/EPTCS.166.3}, doi = {10.4204/EPTCS.166.3}, timestamp = {Sat, 09 Apr 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/NormannPH14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:journals/corr/LaneseLSV14, editor = {Ivan Lanese and Alberto Lluch{-}Lafuente and Ana Sokolova and Hugo Torres Vieira}, title = {Proceedings 7th Interaction and Concurrency Experience, {ICE} 2014, Berlin, Germany, 6th June 2014}, series = {{EPTCS}}, volume = {166}, year = {2014}, url = {https://doi.org/10.4204/EPTCS.166}, doi = {10.4204/EPTCS.166}, timestamp = {Fri, 27 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/LaneseLSV14.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.