Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/journals/jlp/jlp84.bht:"
download as .bib file
@article{DBLP:journals/jlp/0001V15,
author = {Naoki Nishida and
Germ{\'{a}}n Vidal},
title = {A framework for computing finite {SLD} trees},
journal = {J. Log. Algebraic Methods Program.},
volume = {84},
number = {2},
pages = {197--217},
year = {2015},
url = {https://doi.org/10.1016/j.jlamp.2014.11.006},
doi = {10.1016/J.JLAMP.2014.11.006},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/0001V15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/AjoudanianH15,
author = {Shohreh Ajoudanian and
Seyed{-}Hassan Mirian{-}Hosseinabadi},
title = {Automatic promotional specialization, generalization and analysis
of extended feature models with cardinalities in Alloy},
journal = {J. Log. Algebraic Methods Program.},
volume = {84},
number = {5},
pages = {640--667},
year = {2015},
url = {https://doi.org/10.1016/j.jlamp.2014.11.005},
doi = {10.1016/J.JLAMP.2014.11.005},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/AjoudanianH15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/AlTurkiM15,
author = {Musab A. AlTurki and
Jos{\'{e}} Meseguer},
title = {Executable rewriting logic semantics of Orc and formal analysis of
Orc programs},
journal = {J. Log. Algebraic Methods Program.},
volume = {84},
number = {4},
pages = {505--533},
year = {2015},
url = {https://doi.org/10.1016/j.jlamp.2015.03.003},
doi = {10.1016/J.JLAMP.2015.03.003},
timestamp = {Wed, 20 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jlp/AlTurkiM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/BartolettiCDDGP15,
author = {Massimo Bartoletti and
Ilaria Castellani and
Pierre{-}Malo Deni{\'{e}}lou and
Mariangiola Dezani{-}Ciancaglini and
Silvia Ghilezan and
Jovanka Pantovic and
Jorge A. P{\'{e}}rez and
Peter Thiemann and
Bernardo Toninho and
Hugo Torres Vieira},
title = {Combining behavioural types with security analysis},
journal = {J. Log. Algebraic Methods Program.},
volume = {84},
number = {6},
pages = {763--780},
year = {2015},
url = {https://doi.org/10.1016/j.jlamp.2015.09.003},
doi = {10.1016/J.JLAMP.2015.09.003},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jlp/BartolettiCDDGP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/BattenfeldS15,
author = {Ingo Battenfeld and
Matthias Schr{\"{o}}der},
title = {Observationally-induced lower and upper powerspace constructions},
journal = {J. Log. Algebraic Methods Program.},
volume = {84},
number = {5},
pages = {668--682},
year = {2015},
url = {https://doi.org/10.1016/j.jlamp.2014.11.004},
doi = {10.1016/J.JLAMP.2014.11.004},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/BattenfeldS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/BauerP15,
author = {Andrej Bauer and
Matija Pretnar},
title = {Programming with algebraic effects and handlers},
journal = {J. Log. Algebraic Methods Program.},
volume = {84},
number = {1},
pages = {108--123},
year = {2015},
url = {https://doi.org/10.1016/j.jlamp.2014.02.001},
doi = {10.1016/J.JLAMP.2014.02.001},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jlp/BauerP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/BergerBEK15,
author = {Ulrich Berger and
Jens Blanck and
Mart{\'{\i}}n Escard{\'{o}} and
Klaus Keimel},
title = {Preface},
journal = {J. Log. Algebraic Methods Program.},
volume = {84},
number = {1},
pages = {107},
year = {2015},
url = {https://doi.org/10.1016/j.jlamp.2014.11.003},
doi = {10.1016/J.JLAMP.2014.11.003},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/BergerBEK15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/BerghammerF15,
author = {Rudolf Berghammer and
Sebastian Fischer},
title = {Combining relation algebra and data refinement to develop rectangle-based
functional programs for reflexive-transitive closures},
journal = {J. Log. Algebraic Methods Program.},
volume = {84},
number = {3},
pages = {341--358},
year = {2015},
url = {https://doi.org/10.1016/j.jlamp.2014.08.003},
doi = {10.1016/J.JLAMP.2014.08.003},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jlp/BerghammerF15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/BernardoGL15,
author = {Marco Bernardo and
Daniel Gebler and
Michele Loreti},
title = {Editorial for the Special Issue on Open Problems in Concurrency Theory},
journal = {J. Log. Algebraic Methods Program.},
volume = {84},
number = {6},
pages = {731},
year = {2015},
url = {https://doi.org/10.1016/j.jlamp.2015.10.002},
doi = {10.1016/J.JLAMP.2015.10.002},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/BernardoGL15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/BethkeRS15,
author = {Inge Bethke and
Pieter Hendrik Rodenburg and
Arjen Sevenster},
title = {The structure of finite meadows},
journal = {J. Log. Algebraic Methods Program.},
volume = {84},
number = {2},
pages = {276--282},
year = {2015},
url = {https://doi.org/10.1016/j.jlamp.2014.08.004},
doi = {10.1016/J.JLAMP.2014.08.004},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/BethkeRS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/BrengosMP15,
author = {Tomasz Brengos and
Marino Miculan and
Marco Peressotti},
title = {Behavioural equivalences for coalgebras with unobservable moves},
journal = {J. Log. Algebraic Methods Program.},
volume = {84},
number = {6},
pages = {826--852},
year = {2015},
url = {https://doi.org/10.1016/j.jlamp.2015.09.002},
doi = {10.1016/J.JLAMP.2015.09.002},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/BrengosMP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/BruniMS15,
author = {Roberto Bruni and
Ugo Montanari and
Matteo Sammartino},
title = {A coalgebraic semantics for causality in Petri nets},
journal = {J. Log. Algebraic Methods Program.},
volume = {84},
number = {6},
pages = {853--883},
year = {2015},
url = {https://doi.org/10.1016/j.jlamp.2015.07.003},
doi = {10.1016/J.JLAMP.2015.07.003},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/BruniMS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/CasselHJMS15,
author = {Sofia Cassel and
Falk Howar and
Bengt Jonsson and
Maik Merten and
Bernhard Steffen},
title = {A succinct canonical register automaton model},
journal = {J. Log. Algebraic Methods Program.},
volume = {84},
number = {1},
pages = {54--66},
year = {2015},
url = {https://doi.org/10.1016/j.jlamp.2014.07.004},
doi = {10.1016/J.JLAMP.2014.07.004},
timestamp = {Tue, 31 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jlp/CasselHJMS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/Chen15,
author = {Tzu{-}Chun Chen},
title = {Lightening global types},
journal = {J. Log. Algebraic Methods Program.},
volume = {84},
number = {5},
pages = {708--729},
year = {2015},
url = {https://doi.org/10.1016/j.jlamp.2015.06.003},
doi = {10.1016/J.JLAMP.2015.06.003},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/Chen15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/CiobanuHS15,
author = {Gabriel Ciobanu and
Ross Horne and
Vladimiro Sassone},
title = {Minimal type inference for Linked Data consumers},
journal = {J. Log. Algebraic Methods Program.},
volume = {84},
number = {4},
pages = {485--504},
year = {2015},
url = {https://doi.org/10.1016/j.jlamp.2014.12.005},
doi = {10.1016/J.JLAMP.2014.12.005},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/CiobanuHS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/Crafa15,
author = {Silvia Crafa},
title = {The role of concurrency in an evolutionary view of programming abstractions},
journal = {J. Log. Algebraic Methods Program.},
volume = {84},
number = {6},
pages = {732--741},
year = {2015},
url = {https://doi.org/10.1016/j.jlamp.2015.07.006},
doi = {10.1016/J.JLAMP.2015.07.006},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/Crafa15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/CranchLS15,
author = {James Cranch and
Michael R. Laurence and
Georg Struth},
title = {Completeness results for omega-regular algebras},
journal = {J. Log. Algebraic Methods Program.},
volume = {84},
number = {3},
pages = {402--425},
year = {2015},
url = {https://doi.org/10.1016/j.jlamp.2014.10.002},
doi = {10.1016/J.JLAMP.2014.10.002},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/CranchLS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/DangM15,
author = {Han{-}Hing Dang and
Bernhard M{\"{o}}ller},
title = {Extended transitive separation logic},
journal = {J. Log. Algebraic Methods Program.},
volume = {84},
number = {3},
pages = {303--325},
year = {2015},
url = {https://doi.org/10.1016/j.jlamp.2014.12.002},
doi = {10.1016/J.JLAMP.2014.12.002},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/DangM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/DonaldsonV15,
author = {Alastair F. Donaldson and
Vasco T. Vasconcelos},
title = {Selected papers on Programming Language Approaches to Concurrency
and Communication-cEntric Software {(PLACES} 2014)},
journal = {J. Log. Algebraic Methods Program.},
volume = {84},
number = {5},
pages = {683},
year = {2015},
url = {https://doi.org/10.1016/j.jlamp.2015.06.004},
doi = {10.1016/J.JLAMP.2015.06.004},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/DonaldsonV15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/DovlandJOY15,
author = {Johan Dovland and
Einar Broch Johnsen and
Olaf Owe and
Ingrid Chieh Yu},
title = {A proof system for adaptable class hierarchies},
journal = {J. Log. Algebraic Methods Program.},
volume = {84},
number = {1},
pages = {37--53},
year = {2015},
url = {https://doi.org/10.1016/j.jlamp.2014.09.001},
doi = {10.1016/J.JLAMP.2014.09.001},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/DovlandJOY15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/EkbergGS015,
author = {Pontus Ekberg and
Nan Guan and
Martin Stigge and
Wang Yi},
title = {An optimal resource sharing protocol for generalized multiframe tasks},
journal = {J. Log. Algebraic Methods Program.},
volume = {84},
number = {1},
pages = {92--105},
year = {2015},
url = {https://doi.org/10.1016/j.jlamp.2014.10.001},
doi = {10.1016/J.JLAMP.2014.10.001},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/EkbergGS015.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/FuZ15,
author = {Ming Quan Fu and
Jeffery I. Zucker},
title = {Models of computation for partial functions on the reals},
journal = {J. Log. Algebraic Methods Program.},
volume = {84},
number = {2},
pages = {218--237},
year = {2015},
url = {https://doi.org/10.1016/j.jlamp.2014.11.001},
doi = {10.1016/J.JLAMP.2014.11.001},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/FuZ15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/FurusawaK15,
author = {Hitoshi Furusawa and
Yasuo Kawahara},
title = {Point axioms and related conditions in Dedekind categories},
journal = {J. Log. Algebraic Methods Program.},
volume = {84},
number = {3},
pages = {359--376},
year = {2015},
url = {https://doi.org/10.1016/j.jlamp.2014.12.003},
doi = {10.1016/J.JLAMP.2014.12.003},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/FurusawaK15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/FurusawaN15,
author = {Hitoshi Furusawa and
Koki Nishizawa},
title = {Multirelational representation theorems for complete idempotent left
semirings},
journal = {J. Log. Algebraic Methods Program.},
volume = {84},
number = {3},
pages = {426--439},
year = {2015},
url = {https://doi.org/10.1016/j.jlamp.2014.08.008},
doi = {10.1016/J.JLAMP.2014.08.008},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/FurusawaN15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/Garavel15,
author = {Hubert Garavel},
title = {Revisiting sequential composition in process calculi},
journal = {J. Log. Algebraic Methods Program.},
volume = {84},
number = {6},
pages = {742--762},
year = {2015},
url = {https://doi.org/10.1016/j.jlamp.2015.08.001},
doi = {10.1016/J.JLAMP.2015.08.001},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/Garavel15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/Goubault-Larrecq15,
author = {Jean Goubault{-}Larrecq},
title = {Full abstraction for non-deterministic and probabilistic extensions
of {PCF} {I:} The angelic cases},
journal = {J. Log. Algebraic Methods Program.},
volume = {84},
number = {1},
pages = {155--184},
year = {2015},
url = {https://doi.org/10.1016/j.jlamp.2014.09.003},
doi = {10.1016/J.JLAMP.2014.09.003},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/Goubault-Larrecq15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/Guttmann15,
author = {Walter Guttmann},
title = {Infinite executions of lazy and strict computations},
journal = {J. Log. Algebraic Methods Program.},
volume = {84},
number = {3},
pages = {326--340},
year = {2015},
url = {https://doi.org/10.1016/j.jlamp.2014.08.001},
doi = {10.1016/J.JLAMP.2014.08.001},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/Guttmann15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/HirschkoffMX15,
author = {Daniel Hirschkoff and
Jean{-}Marie Madiot and
Xian Xu},
title = {A behavioural theory for a {\(\pi\)}-calculus with preorders},
journal = {J. Log. Algebraic Methods Program.},
volume = {84},
number = {6},
pages = {806--825},
year = {2015},
url = {https://doi.org/10.1016/j.jlamp.2015.07.001},
doi = {10.1016/J.JLAMP.2015.07.001},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/HirschkoffMX15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/JacksonS15,
author = {Marcel Jackson and
Tim Stokes},
title = {Monoids with tests and the algebra of possibly non-halting programs},
journal = {J. Log. Algebraic Methods Program.},
volume = {84},
number = {2},
pages = {259--275},
year = {2015},
url = {https://doi.org/10.1016/j.jlamp.2014.08.007},
doi = {10.1016/J.JLAMP.2014.08.007},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jlp/JacksonS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/JohnsenST15,
author = {Einar Broch Johnsen and
Rudolf Schlatte and
Silvia Lizeth Tapia Tarifa},
title = {Integrating deployment architectures and resource consumption in timed
object-oriented models},
journal = {J. Log. Algebraic Methods Program.},
volume = {84},
number = {1},
pages = {67--91},
year = {2015},
url = {https://doi.org/10.1016/j.jlamp.2014.07.001},
doi = {10.1016/J.JLAMP.2014.07.001},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/JohnsenST15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/KahlGH15,
author = {Wolfram Kahl and
Timothy G. Griffin and
Peter H{\"{o}}fner},
title = {Relational and algebraic methods in computer science},
journal = {J. Log. Algebraic Methods Program.},
volume = {84},
number = {3},
pages = {283--284},
year = {2015},
url = {https://doi.org/10.1016/j.jlamp.2015.03.002},
doi = {10.1016/J.JLAMP.2015.03.002},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/KahlGH15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/LarsenMX15,
author = {Kim G. Larsen and
Radu Mardare and
Bingtian Xue},
title = {Concurrent weighted logic},
journal = {J. Log. Algebraic Methods Program.},
volume = {84},
number = {6},
pages = {884--897},
year = {2015},
url = {https://doi.org/10.1016/j.jlamp.2015.07.002},
doi = {10.1016/J.JLAMP.2015.07.002},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jlp/LarsenMX15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/MollerR15,
author = {Bernhard M{\"{o}}ller and
Patrick Roocks},
title = {An algebra of database preferences},
journal = {J. Log. Algebraic Methods Program.},
volume = {84},
number = {3},
pages = {456--481},
year = {2015},
url = {https://doi.org/10.1016/j.jlamp.2015.01.001},
doi = {10.1016/J.JLAMP.2015.01.001},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jlp/MollerR15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/MoreiraPS15,
author = {Nelma Moreira and
David Pereira and
Sim{\~{a}}o Melo de Sousa},
title = {Deciding Kleene algebra terms equivalence in Coq},
journal = {J. Log. Algebraic Methods Program.},
volume = {84},
number = {3},
pages = {377--401},
year = {2015},
url = {https://doi.org/10.1016/j.jlamp.2014.12.004},
doi = {10.1016/J.JLAMP.2014.12.004},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/MoreiraPS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/NielsonNV15,
author = {Hanne Riis Nielson and
Flemming Nielson and
Roberto Vigo},
title = {A calculus of quality for robustness against unreliable communication},
journal = {J. Log. Algebraic Methods Program.},
volume = {84},
number = {5},
pages = {611--639},
year = {2015},
url = {https://doi.org/10.1016/j.jlamp.2015.04.002},
doi = {10.1016/J.JLAMP.2015.04.002},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/NielsonNV15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/OHearnPVH15,
author = {Peter W. O'Hearn and
Rasmus Lerchedahl Petersen and
Jules Villard and
Akbar Hussain},
title = {On the relation between Concurrent Separation Logic and Concurrent
Kleene Algebra},
journal = {J. Log. Algebraic Methods Program.},
volume = {84},
number = {3},
pages = {285--302},
year = {2015},
url = {https://doi.org/10.1016/j.jlamp.2014.08.002},
doi = {10.1016/J.JLAMP.2014.08.002},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jlp/OHearnPVH15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/PhanH15,
author = {Anh{-}Dung Phan and
Michael R. Hansen},
title = {An approach to multicore parallelism using functional programming:
{A} case study based on Presburger Arithmetic},
journal = {J. Log. Algebraic Methods Program.},
volume = {84},
number = {1},
pages = {2--18},
year = {2015},
url = {https://doi.org/10.1016/j.jlamp.2014.07.002},
doi = {10.1016/J.JLAMP.2014.07.002},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/PhanH15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/PhillipsU15,
author = {Iain Phillips and
Irek Ulidowski},
title = {Reversibility and asymmetric conflict in event structures},
journal = {J. Log. Algebraic Methods Program.},
volume = {84},
number = {6},
pages = {781--805},
year = {2015},
url = {https://doi.org/10.1016/j.jlamp.2015.07.004},
doi = {10.1016/J.JLAMP.2015.07.004},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/PhillipsU15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/PreoteasaBE15,
author = {Viorel Preoteasa and
Ralph{-}Johan Back and
Johannes Eriksson},
title = {Verification and code generation for invariant diagrams in Isabelle},
journal = {J. Log. Algebraic Methods Program.},
volume = {84},
number = {1},
pages = {19--36},
year = {2015},
url = {https://doi.org/10.1016/j.jlap.2013.09.001},
doi = {10.1016/J.JLAP.2013.09.001},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/PreoteasaBE15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/RafsanjaniM15,
author = {Amir Jahangard Rafsanjani and
Seyed{-}Hassan Mirian{-}Hosseinabadi},
title = {Lightweight formalization and validation of {ORM} models},
journal = {J. Log. Algebraic Methods Program.},
volume = {84},
number = {4},
pages = {534--549},
year = {2015},
url = {https://doi.org/10.1016/j.jlamp.2015.03.001},
doi = {10.1016/J.JLAMP.2015.03.001},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jlp/RafsanjaniM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/RavaraS15,
author = {Ant{\'{o}}nio Ravara and
Josep Silva},
title = {Editorial for the {JLAMP} Special Issue on automated specification
and verification of web systems},
journal = {J. Log. Algebraic Methods Program.},
volume = {84},
number = {4},
pages = {483--484},
year = {2015},
url = {https://doi.org/10.1016/j.jlamp.2015.04.001},
doi = {10.1016/J.JLAMP.2015.04.001},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/RavaraS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/SattarzadehF15,
author = {Behnam Sattarzadeh and
Mehran S. Fallah},
title = {Automated type-based analysis of injective agreement in the presence
of compromised principals},
journal = {J. Log. Algebraic Methods Program.},
volume = {84},
number = {5},
pages = {576--610},
year = {2015},
url = {https://doi.org/10.1016/j.jlamp.2015.06.002},
doi = {10.1016/J.JLAMP.2015.06.002},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jlp/SattarzadehF15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/SeceleanuP15,
author = {Cristina Cerschi Seceleanu and
Paul Pettersson},
title = {Foreword},
journal = {J. Log. Algebraic Methods Program.},
volume = {84},
number = {1},
pages = {1},
year = {2015},
url = {https://doi.org/10.1016/j.jlamp.2014.11.002},
doi = {10.1016/J.JLAMP.2014.11.002},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/SeceleanuP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/Stell15,
author = {John G. Stell},
title = {Symmetric Heyting relation algebras with applications to hypergraphs},
journal = {J. Log. Algebraic Methods Program.},
volume = {84},
number = {3},
pages = {440--455},
year = {2015},
url = {https://doi.org/10.1016/j.jlamp.2014.12.001},
doi = {10.1016/J.JLAMP.2014.12.001},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/Stell15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/TiezziY15,
author = {Francesco Tiezzi and
Nobuko Yoshida},
title = {Reversible session-based pi-calculus},
journal = {J. Log. Algebraic Methods Program.},
volume = {84},
number = {5},
pages = {684--707},
year = {2015},
url = {https://doi.org/10.1016/j.jlamp.2015.03.004},
doi = {10.1016/J.JLAMP.2015.03.004},
timestamp = {Thu, 20 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jlp/TiezziY15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/TschaikowskiT15,
author = {Max Tschaikowski and
Mirco Tribastone},
title = {A unified framework for differential aggregations in Markovian process
algebra},
journal = {J. Log. Algebraic Methods Program.},
volume = {84},
number = {2},
pages = {238--258},
year = {2015},
url = {https://doi.org/10.1016/j.jlamp.2014.10.004},
doi = {10.1016/J.JLAMP.2014.10.004},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jlp/TschaikowskiT15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/Vagvolgyi15,
author = {S{\'{a}}ndor V{\'{a}}gv{\"{o}}lgyi},
title = {Symbol different term rewrite systems},
journal = {J. Log. Algebraic Methods Program.},
volume = {84},
number = {5},
pages = {551--575},
year = {2015},
url = {https://doi.org/10.1016/j.jlamp.2015.06.005},
doi = {10.1016/J.JLAMP.2015.06.005},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/Vagvolgyi15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/XieFZ15,
author = {Bo Xie and
Ming Quan Fu and
Jeffery I. Zucker},
title = {Characterizations of semicomputable sets of real numbers},
journal = {J. Log. Algebraic Methods Program.},
volume = {84},
number = {1},
pages = {124--154},
year = {2015},
url = {https://doi.org/10.1016/j.jlap.2013.11.001},
doi = {10.1016/J.JLAP.2013.11.001},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/XieFZ15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/ZhaoH15,
author = {Dongsheng Zhao and
Weng Kin Ho},
title = {On topologies defined by irreducible sets},
journal = {J. Log. Algebraic Methods Program.},
volume = {84},
number = {1},
pages = {185--195},
year = {2015},
url = {https://doi.org/10.1016/j.jlamp.2014.10.003},
doi = {10.1016/J.JLAMP.2014.10.003},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/ZhaoH15.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.
retrieved on 2024-06-06 17:38 CEST from data curated 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:
