Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Journal of Logic and Algebraic Methods in Programming, Volume 104

> Home > Journals > Journal of Logic and Algebraic Methods in Programming

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Volume 104, April 2019

Special Issue on Interaction and Concurrency Experience

- view
  authority control:
- export record
  dblp key:
  - journals/jlp/MennickeP19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlp/MennickeP19
Stephan Mennicke, Tobias Prehn:
Keep it fair: Equivalence and composition. 1-15

Special Issue on Programming Language Approaches to Concurrency and Communication-cEntric Software

- view
  authority control:
- export record
  dblp key:
  - journals/jlp/GraversenPY19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlp/GraversenPY19
Eva Graversen, Iain Phillips, Nobuko Yoshida:
Towards a categorical representation of reversible event structures. 16-59

Special Issue on Open Problems in Concurrency Theory

- view
  authority control:
- export record
  dblp key:
  - journals/jlp/Garavel19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlp/Garavel19
Hubert Garavel:
Nested-unit Petri nets. 60-85
- view
  authority control:
- export record
  dblp key:
  - journals/jlp/MurawskiT19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlp/MurawskiT19
Andrzej S. Murawski, Nikos Tzevelekos:
Higher-order linearisability. 86-116

Regular papers

- view
  authority control:
- export record
  dblp key:
  - journals/jlp/Toro19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlp/Toro19
Mauricio Toro:
A general overview of formal languages for individual-based modelling of ecosystems. 117-126

Special Issue on Open Problems in Concurrency Theory

- view
  authority control:
- export record
  dblp key:
  - journals/jlp/GhilezanJPSY19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlp/GhilezanJPSY19
Silvia Ghilezan, Svetlana Jaksic, Jovanka Pantovic, Alceste Scalas, Nobuko Yoshida:
Precise subtyping for synchronous multiparty sessions. 127-173
- view
  authority control:
- export record
  dblp key:
  - journals/jlp/PlumpL19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlp/PlumpL19
Detlef Plump, Juan de Lara:
Preface to the special issue on the 10th International Conference on Graph Transformation. 174-175
- view
  authority control:
- export record
  dblp key:
  - journals/jlp/CorradiniKN19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlp/CorradiniKN19
Andrea Corradini, Barbara König, Dennis Nolte:
Specifying graph languages with type graphs. 176-200

Regular papers

- view
  authority control:
- export record
  dblp key:
  - journals/jlp/Klimek19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlp/Klimek19
Radoslaw Klimek:
Pattern-based and composition-driven automatic generation of logical specifications for workflow-oriented software models. 201-226

Special Issue on Open Problems in Concurrency Theory

- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jlp/HildebrandtJN19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlp/HildebrandtJN19
Thomas Troels Hildebrandt, Christian Johansen, Håkon Normann:
A stable non-interleaving early operational semantics for the pi-calculus. 227-253

Special Issue on The 29th Nordic Workshop on Programming Theory (NWPT 2017)

- view
  authority control:
- export record
  dblp key:
  - journals/jlp/WangKMS19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlp/WangKMS19
Rui Wang, Lars Michael Kristensen, Hein Meling, Volker Stolz:
Automated test case generation for the Paxos single-decree protocol using a Coloured Petri Net model. 254-273

Special Issue on Relational and Algebraic Methods in Computer Science

- view
  authority control:
- export record
  dblp key:
  - journals/jlp/Moller19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlp/Moller19
Bernhard Möller:
Geographic wayfinders and space-time algebra. 274-302
- view
  authority control:
- export record
  dblp key:
  - journals/jlp/DrewesHM19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlp/DrewesHM19
Frank Drewes, Berthold Hoffmann, Mark Minas:
Formalization and correctness of predictive shift-reduce parsers for graph grammars based on hyperedge replacement. 303-341

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.