Search dblp for Publications

export results for "toc:db/journals/jlp/jlp104.bht:"

 download as .bib file

@article{DBLP:journals/jlp/CorradiniKN19,
  author    = {Andrea Corradini and
               Barbara K{\"{o}}nig and
               Dennis Nolte},
  title     = {Specifying graph languages with type graphs},
  journal   = {J. Log. Algebr. Meth. Program.},
  volume    = {104},
  pages     = {176--200},
  year      = {2019}
}
@article{DBLP:journals/jlp/DrewesHM19,
  author    = {Frank Drewes and
               Berthold Hoffmann and
               Mark Minas},
  title     = {Formalization and correctness of predictive shift-reduce parsers for
               graph grammars based on hyperedge replacement},
  journal   = {J. Log. Algebr. Meth. Program.},
  volume    = {104},
  pages     = {303--341},
  year      = {2019}
}
@article{DBLP:journals/jlp/Garavel19,
  author    = {Hubert Garavel},
  title     = {Nested-unit Petri nets},
  journal   = {J. Log. Algebr. Meth. Program.},
  volume    = {104},
  pages     = {60--85},
  year      = {2019}
}
@article{DBLP:journals/jlp/GhilezanJPSY19,
  author    = {Silvia Ghilezan and
               Svetlana Jaksic and
               Jovanka Pantovic and
               Alceste Scalas and
               Nobuko Yoshida},
  title     = {Precise subtyping for synchronous multiparty sessions},
  journal   = {J. Log. Algebr. Meth. Program.},
  volume    = {104},
  pages     = {127--173},
  year      = {2019}
}
@article{DBLP:journals/jlp/GraversenPY19,
  author    = {Eva Graversen and
               Iain Phillips and
               Nobuko Yoshida},
  title     = {Towards a categorical representation of reversible event structures},
  journal   = {J. Log. Algebr. Meth. Program.},
  volume    = {104},
  pages     = {16--59},
  year      = {2019}
}
@article{DBLP:journals/jlp/HildebrandtJN19,
  author    = {Thomas Troels Hildebrandt and
               Christian Johansen and
               H{\aa}kon Normann},
  title     = {A stable non-interleaving early operational semantics for the pi-calculus},
  journal   = {J. Log. Algebr. Meth. Program.},
  volume    = {104},
  pages     = {227--253},
  year      = {2019}
}
@article{DBLP:journals/jlp/Klimek19,
  author    = {Radoslaw Klimek},
  title     = {Pattern-based and composition-driven automatic generation of logical
               specifications for workflow-oriented software models},
  journal   = {J. Log. Algebr. Meth. Program.},
  volume    = {104},
  pages     = {201--226},
  year      = {2019}
}
@article{DBLP:journals/jlp/MennickeP19,
  author    = {Stephan Mennicke and
               Tobias Prehn},
  title     = {Keep it fair: Equivalence and composition},
  journal   = {J. Log. Algebr. Meth. Program.},
  volume    = {104},
  pages     = {1--15},
  year      = {2019}
}
@article{DBLP:journals/jlp/Moller19,
  author    = {Bernhard M{\"{o}}ller},
  title     = {Geographic wayfinders and space-time algebra},
  journal   = {J. Log. Algebr. Meth. Program.},
  volume    = {104},
  pages     = {274--302},
  year      = {2019}
}
@article{DBLP:journals/jlp/MurawskiT19,
  author    = {Andrzej S. Murawski and
               Nikos Tzevelekos},
  title     = {Higher-order linearisability},
  journal   = {J. Log. Algebr. Meth. Program.},
  volume    = {104},
  pages     = {86--116},
  year      = {2019}
}
@article{DBLP:journals/jlp/PlumpL19,
  author    = {Detlef Plump and
               Juan de Lara},
  title     = {Preface to the special issue on the 10th International Conference
               on Graph Transformation},
  journal   = {J. Log. Algebr. Meth. Program.},
  volume    = {104},
  pages     = {174--175},
  year      = {2019}
}
@article{DBLP:journals/jlp/Toro19,
  author    = {Mauricio Toro},
  title     = {A general overview of formal languages for individual-based modelling
               of ecosystems},
  journal   = {J. Log. Algebr. Meth. Program.},
  volume    = {104},
  pages     = {117--126},
  year      = {2019}
}
@article{DBLP:journals/jlp/WangKMS19,
  author    = {Rui Wang and
               Lars Michael Kristensen and
               Hein Meling and
               Volker Stolz},
  title     = {Automated test case generation for the Paxos single-decree protocol
               using a Coloured Petri Net model},
  journal   = {J. Log. Algebr. Meth. Program.},
  volume    = {104},
  pages     = {254--273},
  year      = {2019}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics