Stop the war!
Остановите войну!
for scientists:
default search action
Search dblp for Publications
export results for "toc:db/journals/jlap/jlap108.bht:"
@article{DBLP:journals/jlap/BalbianiB19, author = {Philippe Balbiani and Joseph Boudou}, title = {Axiomatization and computability of a variant of iteration-free {PDL} with fork}, journal = {J. Log. Algebraic Methods Program.}, volume = {108}, pages = {47--68}, year = {2019}, url = {https://doi.org/10.1016/j.jlamp.2019.06.004}, doi = {10.1016/J.JLAMP.2019.06.004}, timestamp = {Thu, 23 Sep 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jlap/BalbianiB19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jlap/ChevrouHQ19, author = {Florent Chevrou and Aur{\'{e}}lie Hurault and Philippe Qu{\'{e}}innec}, title = {A modular framework for verifying versatile distributed systems}, journal = {J. Log. Algebraic Methods Program.}, volume = {108}, pages = {24--46}, year = {2019}, url = {https://doi.org/10.1016/j.jlamp.2019.05.008}, doi = {10.1016/J.JLAMP.2019.05.008}, timestamp = {Sat, 22 Feb 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jlap/ChevrouHQ19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jlap/Dabrowski19, author = {Fr{\'{e}}d{\'{e}}ric Dabrowski}, title = {A denotational semantics of textually aligned {SPMD} programs}, journal = {J. Log. Algebraic Methods Program.}, volume = {108}, pages = {90--104}, year = {2019}, url = {https://doi.org/10.1016/j.jlamp.2019.02.010}, doi = {10.1016/J.JLAMP.2019.02.010}, timestamp = {Sat, 22 Feb 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jlap/Dabrowski19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jlap/FervariV19, author = {Raul Fervari and Fernando R. Vel{\'{a}}zquez{-}Quesada}, title = {Introspection as an action in relational models}, journal = {J. Log. Algebraic Methods Program.}, volume = {108}, pages = {1--23}, year = {2019}, url = {https://doi.org/10.1016/j.jlamp.2019.06.005}, doi = {10.1016/J.JLAMP.2019.06.005}, timestamp = {Fri, 27 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jlap/FervariV19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jlap/GuancialeT19, author = {Roberto Guanciale and Emilio Tuosto}, title = {Realisability of pomsets}, journal = {J. Log. Algebraic Methods Program.}, volume = {108}, pages = {69--89}, year = {2019}, url = {https://doi.org/10.1016/j.jlamp.2019.06.003}, doi = {10.1016/J.JLAMP.2019.06.003}, timestamp = {Sat, 22 Feb 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jlap/GuancialeT19.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.